ps_color(7) on Linux

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

ps_color(7) on Linux now