SGIextensions(3) on Linux

The text 3159057fd5ed, as Debian 3.1 (Sarge) shipped it.

SGIextensions(3) on Linux now