Just a heads up that the site will be down for maintenance starting at 7 AM Eastern on Tuesday, Oct 15 and with an expected duration of an hour or two depending on how hairy it gets. I will post updates on Twitter, Facebook, and the unofficial Discord server as necessary.