Man pages matching name mic in section 5rheolef:

mic.5rheolef.en	debian 11 / librheolef-dev
mic.5rheolef.en	debian 12 / librheolef-dev