fix-groff-xhtml.pl