Server move completed!

Downtime was under ninety minutes, with most of that just driving it from the old house to the new one. Then a few minutes on the phone with my ISP to migrate the IP, and presto! We’re back online.