Happy Holidays

Just a very short post today. I will resume posting regular stuff on Friday (hopefully). I want to wish everyone a very Happy Chanuckah, Merry Christmas and a Happy New Year. Be safe and don't drink too much egg nog.