ppmtopgm(1) on Linux

The text 88ae85b29e10, as Debian 2.2 (Potato), Debian 2.1 (Slink), Debian 2.0 (Hamm) shipped it.

convert a portable pixmap into a portable graymap

ppmtopgm(1) on Linux now