Hardened us.metamath.org

[David A. Wheeler]

FYI: I've made some tweaks to the website us.metamath.org to harden it further against attacks. We formerly had a "D" grade, now it is "A", on this site:
https://securityheaders.com/?q=us.metamath.org&followRedirects=on

To be fair, some of the hardening changes aren't relevant to our current configuration, because of other hardening steps I took earlier. Still,  they don't hurt, and I'm trying to make the site a challenge to subvert.

[Jim Kingdon]

Thank you!

[Mázsa Péter]

Thank you David!
(Have we found a source to at least finance Linode? What about our
plan to make donations possible?)

P.

> --
> 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 metamath+u...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/054705D3-CF82-467F-AC27-FA299640852B%40panix.com.

[David A. Wheeler]

> On Feb 13, 2023, at 2:00 AM, Mázsa Péter <pe...@mazsa.com> wrote:
>
> Thank you David!
> (Have we found a source to at least finance Linode? What about our
> plan to make donations possible?)

The source currently is me.

I'm intentionally doing things to keep the costs low ($60/year website + a few dollars for registration).
For the moment I view this as a way for me to contribute to the group.

In the longer term I'd like to set up a "Metamath Association" so things can continue
without being dependent on any one person. But let's worry about that later.

--- David A. Wheeler