hagman

Doing so means to no longer support some "legacy browser", but I do not see a problem with that in 2023. There are only a few small fixes (which I...