Man pages matching name pibrump in section 1:

pibrump.1.en

debian 12 / plc-utils-extra