There is some legacy support for trying alternative key names for overloaded magic names, ie. Accepting Alt rather than Option on macOS, Control rather than Ctrl. etc. But it's not currently working, and may not be correctly handling the new full set of modifier keys we support now (Control/Ctrl, Alt/Option, Shift, Meta/Command/Win).
There is some legacy support for trying alternative key names for overloaded magic names, ie. Accepting Alt rather than Option on macOS, Control rather than Ctrl. etc. But it's not currently working, and may not be correctly handling the new full set of modifier keys we support now (Control/Ctrl, Alt/Option, Shift, Meta/Command/Win).