The text 3f5aa5f39f39, as Debian 2.2 (Potato) shipped it.
configuration options for X display manager
xdm.options(5) on Linux now
