pud(7) on Linux

The text 5bf9e8a1666c, as Debian 7 (Wheezy) shipped it.

pud(7) on Linux now