We sincerely apologize for the downtime experienced for a short time this afternoon. Our server is colocated at a datacenter, and they needed to shut it down for a few minutes to install a new shelf. The downtime was expected to last less than 5 minutes, which would only be noticeable to a handful of users. It took way too long.
Normally, our backup server is available for such instances. Unfortunately our backup server has been unavailable, but will be back in service within a day or two.