ConvertHeaders.py(1) on Linux

The text f1640b0a4381, as Debian 13 (Trixie), Debian 12 (Bookworm), Debian 11 (Bullseye) shipped it. The page shows this text now.

Converts sequence headers to the pRESTO format

Flags it lists