The text 6717d20888ff, as Debian 9 (Stretch) shipped it.
change signal names across many Verilog files
vrename(1p) on Linux now
