doc: minor issues
requested to merge github/fork/tniessen/knock-knock-whos-there-its-a-minor-issue-in-the-docs into master
Fixes most of the points suggested in #9538 (closed). Some have already been fixed, and I consider some of the others irrelevant. I am not sure about points 7, 8 and 16, though.
I did not notice another PR #9703 already worked on this without being merged until I pushed my commits. Apparently there was no activity for almost half a year, but feel free to close this PR if you think we should wait for the other one to get back to life.
Checklist
-
documentation is changed or added -
commit message follows commit guidelines
Affected core subsystem(s)
doc