Web40 is currently down. We’re investigating the cause and hope to have service restored soon.

Update [21:22 GMT]: Web40 is back online. The problem appears to have been an extremely high spike in system load. The server is working normally at this time.