The text 13ad07b3c636, as Debian 1.2 (Rex) shipped it.
query or change device key mappings
XGetDeviceKeyMapping(3x) on Linux now
