Man pages matching name antimicrox in section 1:

antimicrox.1.en	debian 11 / antimicro
antimicrox.1.en	debian 12 / antimicro