We are aware that there are issues affecting these servers. We are working to get them resolved.
The file systems on these two servers became read-only, they are being rebooted to restore service.
Update @ Mon Jul 30 10:54:03 BST 2018: The servers are online and available for use.