originally posted on 12/24/17:
Merry Christmas Eve to those who celebrate. Happy Holidays to those who observe other special days. And a happy winter’s night to all.