We are aware that there are issues affecting this server. We are working to get them resolved.
Update @ Tue May 15 06:50:43 BST 2018: The file system on this server switched to read-only mode, so we had to reboot it to restore the service. The server is now online and available for use.