Man pages matching name miredo-server in section 8:

miredo-server.8.en	debian 11 / miredo-server
miredo-server.8.en	debian 12 / miredo-server