Merry Christmas

With Christmas upon us, it’s time to cut back the blog for the next two weeks; I’ll be blogging either sporadically or not at all between now and January 3 or so. Merry Christmas, and a happy and healthy New Year to all!