My domain was moved to a different server around midday. Checking things out is being frustrated by Zen's DNS servers taking ages to reflect the changes.
Or rather some of Zen's DNS server...
This is the status of the updates.
| 212.23.3.100 | 212.23.6.100 | 2a02:8010:1::212:23:3:100 |
<my domain> | Y | N | Y |
mail.<my domain> | Y | N | Y |
Unfortunately 212.23.6.100 is the one they give out as the primary DNS.
The IPv6 seems to have settled down, for a while it was sometimes giving the new IP and sometimes the old!