The text ef8d06843bd9, as Debian 10 (Buster) shipped it.
Converts between PPM/PGM and PNG image formats.
g.ppmtopng(1grass) on Linux now
