The text deae77c3e4cf, as Debian 4.0 (Etch) shipped it.
change which device is the X pointer
XChangePointerDevice(3) on Linux now
