The text a2d4aaa618fb, as Debian 4.0 (Etch) shipped it.
grab/ungrab extension input device buttons
XUngrabDeviceButton(3) on Linux now