We are aware that there are issues affecting this server. We are working to get them resolved.
Update @ Mon Jul 1 14:03:04 BST 2019: The server experienced a kernel panic and has been rebooted to restore service. We are currently investigating the root cause of this incident. The server is now online and available for use once again.