The text 41d023507a20, as Debian 1.1 (Buzz) shipped it.
grab/ungrab extension input device Keys
XUngrabDeviceKey(3x) on Linux now
