Merry Christmas, etc.

No posts of any substance today, but we'll be back tomorrow with an episode like normal. Until then, Sam and I wish all our readers and listeners a very merry Christmas. If Christmas isn't your thing, have a happy holiday of your chosing -- heck, just in general have a very nice Dec. 25. Your continued patronage of our site and the podcast has been a great gift to us.