i’d just like to thank the federal government for declaring today a holiday, even if Christopher Columbus was not really a man worth celebrating, because, when else would i have time to catch up on the really important stuff that’s been on my DVR since july?