I'm starting to modify the Metamath website. One immediate change: us.metamath.org now supports TLS certificates, so <https://us.metamath.org> now works! Going to metamath.org will redirect to <https://us.metamath.org/mm.html> (the https version instead of the http) version.
The "us.metamath.org" site is hosted on Linode, but the website *generation* is currently on a computer in Norm's former home (us2.metamath.org), which his former partner does not want to keep running. My current plan is to make the generation *also* occur on us.metamath.org. --- David A. Wheeler -- 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/3BB5A96D-1B38-455E-BF30-FE919C304CB5%40dwheeler.com.
