pbmtopgm(1) on Linux

The text 0c2588cc4508, as Debian 13 (Trixie), Debian 12 (Bookworm) shipped it.

convert PBM image to PGM by averaging areas

pbmtopgm(1) on Linux now