One of the proxy servers was down for an hour between 11:41 and 12:59 UTC. This had minimal to no effect on the service availability.