The text 62acecd9cc32, as Debian 1.1 (Buzz) shipped it.
grab/release the specified extension device
XUngrabDevice(3x) on Linux now
