dune-subst(1) on Linux

The text a085a3b2a52e, as Debian 12 (Bookworm) shipped it.

Substitute watermarks in source files.

Flags it lists