Man pages matching name mandos-ctl in section 8:

mandos-ctl.8.en	debian 11 / mandos
mandos-ctl.8.en	debian 12 / mandos