Reference

XUngrabDeviceButton(3) on Linux

The text 940d234656c1, as Debian 7 (Wheezy) shipped it.

grab/ungrab extension input device buttons

XUngrabDeviceButton(3) on Linux now