Man pages matching name irony-server in section 1:

irony-server.1.en	debian 10 / irony-server
irony-server.1.en	debian 11 / irony-server
irony-server.1.en	debian 12 / irony-server