Server going down at 2PM EST (update: up again!)

News
1

We need to update the operating system to the latest version. Downtime should be less than 30 minutes.

2

OK, we’re up and running again, up to date.