Poor documentation on labels which are used to describe keyboard shortcuts

I can testify on mac that “shift” corresponds to the SHIFT key.

I think “ctrl” probably corresponds to CONTROL, and “alt” corresponds to OPTION

But it’s not completely straightforwards.