Merry Christmas!

After a very slow-going year, in work and also on this blog, I suddenly have a million deadlines to meet, so this is the closest most people are going to be getting to a christmas card from me. Sorry about that!