The text 1116ee2e5f68, as Debian 1.1 (Buzz) shipped it.
grab/ungrab extension input device buttons
XUngrabDeviceButton(3x) on Linux now
