Martin's monster merge part 1/N: (hopefully) uncontroversial bits

Martin Reineckerequested to merge
mmm1 into master

This is basically

  • dead code removal
  • removal of obsolete documentation
  • typo fixing

Merge request reports