They serve their purpose as host mirrors. But there is no DNS domain mirror and there is no e-mail mirror either.
There is always room for improvement of course, but everything has their costs as well. -- 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/11ae624f-88cc-4579-a0df-d9f5f4065757%40googlegroups.com.
