Merry Christmas!

Just a quick post to wish everyone a Merry Christmas! I have some other things to post about, too, but I'll save that for later in the week.