Merry Christmas

... and a Happy New Year to everyone. I may not be able to blog again before New Years, so I wish everyone well before then. See everyone next year.