Just in case this wasn't clear enough: these were two naive questions, as I wrote. Maybe I should have written "genuinely naive" or "naively genuine" to be clearer. Anyway, thanks Norm for the explanations.
Benoît On Thursday, October 24, 2019 at 10:42:11 PM UTC+2, vvs wrote: > > 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/df8caecf-b94d-48fc-95ce-2b22a25cd8a3%40googlegroups.com.
