Man pages matching name mipe2html in section 1:

mipe2html.1.en	debian 10 / mipe
mipe2html.1.en	debian 11 / mipe
mipe2html.1.en	debian 12 / mipe