The text 76d68f89dafa, as Debian 1.2 (Rex) shipped it.
grab/ungrab extension input device Keys
XUngrabDeviceKey(3x) on Linux now
