Documentation fixes

Various fixes to the manpages, see the single commits messages for more details.