The text 572ad8a51a92, as Debian 4.0 (Etch) shipped it.
grab/ungrab extension input device Keys
XGrabDeviceKey(3) on Linux now