Reference
XtUngrabKey(3) on Linux
The text 3705ff5e8109, as Debian 4.0 (Etch) shipped it.
manage grabs
XtUngrabKey(3) on Linux now