Nothing much happened in December!

Sorry there aren't any stories on the December page, but what with the
Christmas holidays and work for private clients (which I can't talk
about here), there isn't any news to document. But I thought I'd put in
a non-story story just so the page isn't completely empty!