This utility converts html documentation pages from D. J. Bernstein
(http://cr.yp.to/) to manual pages. Just pipe in the HTML page and you'll
get a manual page on stdout.
