I don't think it's last night's maintenance overruning, as it was all working fine at about 7.30 this morning. Problems started about 8.00 (occasional timeouts and connection failures), with permanent failure from 8.30. Maybe last night's maintenance was to downgrade all the servers
