At some point on Tuesday, October 12 after 11 AM CDT, the server will be unaccessible for some maintenance work. The downtime will last for a few hours.
