* man/mdoc-export-html.1: Document --with-profile, --with-version.