manpage_formal_fixes.patch
man_html.patch
