sigtrap(3pm) on Linux

The text d822796d2682, as Debian 1.2 (Rex) shipped it.

sigtrap(3pm) on Linux now