Happy holidays

I'm off to Northern California -- a small mountain town called Boulder Creek, to be precise -- for a few days. It's going to be a lot chillier than I'm used to!

Happy holidays to one and all. See you for the New Year!