We just experienced a temporary loss of connectivity to our server cluster. Connectivity has been restored and the service is back to normal. Total service downtime was about 40 minutes from about 16:45.

I’ve opened a support ticket with our hosting provider to determine the cause of the connectivity loss, which was apparently due to a firewall failure.