Status (by brong at Tue May 29 11:31 UTC)
There appears to be a bug in our frontend redirection system which has caused users to be directed to servers which were being restarted for maintainence. This shouldn’t have happened.
The result of the bug is that some users will have seen 500 errors for about 10 minutes, depending which server they were on.
All servers are back up now, and we will fix this issue before shutting down any more web servers.