The text 470c2fa0f815, as Debian 7 (Wheezy) shipped it.
change which device is used as the X keyboard
XChangeKeyboardDevice(3) on Linux now
