The text 9f47f173eca2, as Debian 12 (Bookworm) shipped it.
query the state of an extension input device.
XQueryDeviceState(3) on Linux now
