Merry Christmas, everyone!

I had a good time in Edinburgh, and I'll write that up, um... soon. In the meantime, here's wishing you all a very Merry Christmas, whatever you're up to over the next few days. Hope to see many of you around the New Year!