Merry Christmas and festive greetings

I just wanted to add a quick update while I was near a terminal to say Merry Christmas to all. I’m afraid that updates haven’t been in huge abundance around here as I’m not anywhere near home right now (I’m actually out in the US), and more specifically last week I caught the bug that was going around. I’ll get back to cleaning out my inbox and getting updates up as soon as I can. Have a good holiday!