Merry Christmas everyone!

I hope everyone has a great Christmas. Personally, posting might be down for the next couple of days as I celebrate the holiday and, of course, work. Posting should be back to normal by Tuesday at the latest.