Paul Flicek wrote (at 7:34 on 9 Jan 2019): > A surprising number of menu items change when you press the option > and/or control key: > https://www.macrumors.com/guide/hidden-macos-features-option-key/ Option, yes, Control, no. Try searching for "control" or "ctrl" on that page.