The text 0e031dce10c5, as Debian 12 (Bookworm) shipped it.
query or change device modifier mappings
XSetDeviceModifierMapping(3) on Linux now