The text 495dcaf3d282, as Debian 1.2 (Rex) shipped it.
change which device is the X pointer
XChangePointerDevice(3x) on Linux now
