prun(1) on Linux

The text 8e873b8f0812, as Debian 13 (Trixie) shipped it.

prun(1) on Linux now