Hmm, some screwup, perhaps?
In the end, I've gone via the IP address I pulled off the primary name server, while the system sorts itself out and the changes propagate.
(I will ignore the shock I got later discovering that a certain Irish fan turns out to share my birthday. As in the original one, not the yearly anniversary (some redundancy, there).)
