BTW, there is no need to put the burden of maintaining redundancy on Norman. Anyone could register alternative domain names and maintain it themselves. Because this is once in lifetime event they might even get away with this using free services, e.g. they can use alternative DNS roots: https://en.wikipedia.org/wiki/Alternative_DNS_root
But this will require dedicating some network, computing and human resources for this task. So, if anyone really wants such redundancy guarantees they should put their money where their mouth is and do this as a community service. Or there always is a possibility to just use IP addresses in case of emergency. For me this is an easy choice. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/1c20b435-1155-4213-8b77-1201d56c1263%40googlegroups.com.
