wdm.options(5) on Linux

The text bca174135268, as Debian 7 (Wheezy), Debian 5.0 (Lenny), Debian 4.0 (Etch), Debian 3.1 (Sarge), Debian 3.0 (Woody) shipped it.

configuration options for WINGs display manager