Brief service interruption on web11 server (resolved)

Between 1:53 AM Pacific time and 2:09 AM on May 1, the disk load on the “web11” server became very slow, requiring that server to be restarted. We did so, and normal service was resumed at 2:10 AM. Other servers were not affected.

We’re investigating the underlying cause of this, and we sincerely apologize for the trouble if you were affected.