The text a5f97c07ccb0, as Debian 4.0 (Etch) shipped it.
query or change device modifier mappings
XSetDeviceModifierMapping(3) on Linux now