prune(1) on Linux

The text 8ad52c9d29e9, as Debian 3.1 (Sarge) shipped it.

Prune directed graphs

prune(1) on Linux now