Merry Christmas!

I think most people have better things to do right now than to read blogs, but anyway. Happy holidays, and all that! I'm hoping to get time to write a bit the next few days, and to read, and to sleep.