The text acdb253b1248, as Debian 5.0 (Lenny) shipped it.
change which device is used as the X keyboard
XChangeKeyboardDevice(3) on Linux now
