Excellent news on the https . I clicked around for a while and didn't
find any links which had broken in the process.
And thank you for all your work on this. As usual, let me know if there
is anything I can help with, or if moral support is needed, consider
this email an expression of appreciation.
On 7/17/22 17:38, David A. Wheeler wrote:
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/79fa8e1e-89b9-d370-c4a5-10a889a8730f%40panix.com.
