I think the DNS data have finally propagated across the globe. Thanks to David for fixing this very quickly and professionally, by the way. I hate DNS.