Various other fixes to the man pages

See individual commit messages for details.