Something very odd is going on with DNS for the
metamath.org sites.
DNS *is* paid for, so it's not a failure to re-register.
Norm is aware of the problem & trying to track down what's going.
Note that Norm currently cannot receive email due to this problem,
so it won't help to email him :-).
--- David A. Wheeler