Fix several manual pages

Jose E. Roman requested to merge jose/release/fix-man-pages into release May 06, 2023