The faculty has voted to change the name of Columbus Day to “Fall Weekend.” A reader points out: There are a lot of fall weekends. He also says, “I imagine there will be a lot of confusion when they change the name of Thanksgiving to ‘Thursday.’”

Hey, don’t give them any ideas. Christmas is already “December 25” in many places. (For my chestnut on the verbotenization of “Christmas,” go here.) (Roasting chestnut?)