Comment by tambourine_man

Which is why macOS command key is such an undervalued nicety. One key for GUI stuff, one for command-line stuff.