man2html is obsolete