We are having some planned downtime today starting around 3:30 PM EST. Server updates are going to be applied as well as some database cleanups. It is difficult to estimate the time needed but hopefully it should be no more than an hour. Announcements will be sent to all on IRC if more time is needed.

Update: the updates were completed successfully and the downtime has concluded.