Man pages matching name puppetserver-irb in section 1:

puppetserver-irb.1.en

debian 12 / puppetserver