Happy Holidays to all from everyone’s favorite box of blinky lights. See you all on Monday. I’ll still be checking occasionally for comments that need to be released from the moderation queue but won’t be particularly active otherwise. Until then, I leave you with Tim Minchin: