We are currently looking into the issue and will resolve it as quickly as possible.
2015-05-12 13:45 UTC: The server is back online and functioning normally.
2015-05-13 17:37 UTC: Web23 is offline again – we’re investigating the issue at this time.
2015-05-13 17:59 UTC: Web23 is back online at this time. We suspect that there was a problem with the server’s swap partition. The partition has been re-created, and we’re monitoring for further problems.
2015-05-13 22:01 UTC: Web23 is showing no further signs of trouble.