About Marelle, I guess you want to ping @Yves Bertot @Maxime Dénès @Laurent Théry (Gitter import)
for precision, the problem is that the
www-sop web server is using a too-old version of SSL, so anyone trying to access Marelle URLs via HTTPS (e.g., https://www-sop.inria.fr/marelle/CertiGeo/feuerbach.html) gets stopped cold by modern browsers.
the regular HTTP still works, but many URLs on the web to
www-sop are HTTPS links, and some people have their browsers configured to always select HTTPS when it is available.
Thanks. Yes, I think that's what I expect most people would do.
if those servers are that old, by Murphy’s law, those websites might only exist until some worm hits them. Any change to get them copied on the Internet Archive?
I believe @Maxime Dénès and @Christian Doczkal already reported the TLS issue to the sys admins. My firefox let me still visit these sites after displaying a warning, you may try that other browser.
Indeed, I did report this back in November. I just updated the ticket with the error message displayed by recent Firefox.
Last updated: Dec 01 2023 at 07:01 UTC