Rebuild man pages with Sphinx 6.1.3 to avoid the GitHub CI thinking the man pages need to be rebuilt.