Re: [PATCH] devel: make man-to-mdwn.pl to work with generated manual pages