The text 243c7bc4a347, as Debian 4.0 (Etch) shipped it.
change which device is used as the X keyboard
XChangeKeyboardDevice(3) on Linux now
