Merry Christmas to all who celebrate!  No new post today, but we’ll be back with one or two next week!