Re: [PATCH 1/1] devel: add post-release tools news2wiki.pl and man-to-mdwn.pl