Merry Christmas, Happy Hannakuh, Happy Kwanza, and a great 2019 to all my Hacker News friends.