There seemed to be about 5-10 minutes’ unavailability between 19.09 and 19.19 BST this evening. I first got configuration errors and then 503 “there is no server available to complete your request” errors. Clearly a few minutes’ downtime isn’t necessarily a problem, but I dare say it’s not something we’d want on a regular basis.