Merry Christmas! Happy holidays! Links to some announcements. I have COVID. Holiday memes. That's it. That's the post.