Man pages matching name ppmddumpfont in section 1:

ppmddumpfont.1.en

debian 12 / netpbm