Merry Christmas to those of you who still celebrate the Julian Calendar. For those of you unaware, it is Christmas time for all those folks in the Eastern Orthodox Churches. In other holiday news, …