pud(7) on Linux

The text 956d3a788a1b, as Debian 6.0 (Squeeze) shipped it.

pud(7) on Linux now