ppmtobmp(1) on Linux
The text a8c9e419853b, as Debian 13 (Trixie), Debian 12 (Bookworm) shipped it.
convert a PPM image into a BMP file
Flags it lists
-
-bpp -
-mapfile -
-os2 -
-windows