The DNS change is active, at least from here. Setting up WordPress is going to take a bit longer than anticipated, though, so first I’m going to see if I can publish via Radio to the new server. If this works, I’ll republish the entire site (or try to) and then keep working on WP.