Regenerate man pages with Sphinx 4.0.2

The man pages produced by Sphinx 4.0.2 are slightly different than those produced by Sphinx 3.5.4. As Sphinx 4.0.2 is now used in GitLab CI, update all doc/man/*in files so that they reflect what that version of Sphinx produces, in order to prevent GitLab CI job failures.