Web527 did not come back after a reboot. We are looking into this and will resolve as quickly as possible.

2017-08-15 13:48 UTC: The server is back online. The issue was with the installed kernel. It was changed and the server rebooted.