Re: [PATCH 5/7] doc: Allow rst2man.py as an alternative to rst2man