tp(9) on Linux

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

IEC TP timer - generate a high pulse of defined duration on rising edge

tp(9) on Linux now