Happy Holidays!

Better late than never. I just wanted to wish all of the readers of this site
a Merry Christmas, Happy Chanukah, Happy Kwanzaa, or whatever you and your
family celebrate and all of the best in the New Year!