One of the proxy servers was down for 10 minutes between 00:20 and 00:30 UTC. This had minimal to no effect on the service availability.