lintex(1) on Linux

The text 71f50ac4d3b6, as Debian 7 (Wheezy) shipped it.

lintex(1) on Linux now