Server maintenance

News #917 posted by Kali on 10/25/11.

There was some unannounced (even to us) server maintenance that occurred on October 24th. We should now be running normally with no further expected outages.

If you need someone to blame or yell at, please contact Alex.