We are aware that there are issues affecting these servers. We are working to get them resolved.
Update @ Wed Sep 13 18:18:34 BST 2017: Hardware maintenance unexpectedly caused service interruption. Both servers are now up and available for use.