The text 20def9e005f1, as Debian 12 (Bookworm) shipped it.
change signal names across many Verilog files
vrename(1p) on Linux now
