Whoops! OK, that was my fault. I was actually quite surprised at how smoothly and quickly the transition went. As it turns out, it appears to have taken longer than expected for the DNS to update. In fact, the problem may have been in DNS cached in my browsers. When I tested the site with a browser I had no problem accessing it. When I tested the domain with
ping it looked like my system was seeing the new records. I assumed everything had gone smoothly and went on to do other things. I don’t actually know how long the site was down, but there was in fact a misconfiguration in my domain records that prevented the site from being accessed.
My fault; sorry about that,