Martin's monster merge part 1/N: (hopefully) uncontroversial bits
This is basically
- dead code removal
- removal of obsolete documentation
- typo fixing
All shared GitLab runners will switch from Python 3.9 to 3.12 as default image the next days.
This is basically