pgmtofs(1) on Linux

The text 16a2c6b9ef5f, as Debian 13 (Trixie), Debian 12 (Bookworm) shipped it.

convert PGM image to Usenix FaceSaver(tm) format

pgmtofs(1) on Linux now