Man pages matching name mdoc-export-html in section 1:

mdoc-export-html.1.en	debian 10 / monodoc-base
mdoc-export-html.1.en	debian 11 / monodoc-base
mdoc-export-html.1.en	debian 12 / monodoc-base