Man pages matching name irdb-get in section 1:

irdb-get.1.en	debian 10 / lirc
irdb-get.1.en	debian 11 / lirc
irdb-get.1.en	debian 12 / lirc