The text e89edfa3ba43, as Debian 12 (Bookworm) shipped it.
grab/ungrab extension input device Keys
XGrabDeviceKey(3) on Linux now
