Use mdoc macros for man HTML.