yosys-witness(1) on Linux

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

display a witness trace in human readable format

yosys-witness(1) on Linux now