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