dumpContigsFromHeader(1) on Linux

The text da2140e6dd06, as Debian 11 (Bullseye) shipped it.

dumpContigsFromHeader(1) on Linux now