Christmas downtime

As you might have noticed, we're on hiatus at the moment. Each of us just has too much to do before the year is out, which is demanding a lot of concentration.

Don't worry, we'll be back early next year.