Comment by KORraN

> That has terrible ergonomics for anyone using a non-US keyboard, though - the backtick is immediately above the option key so to hit together with CMD requires clawing together your thumb and little finger.

That's true, hence why I remap it to a "proper" key, above Tab with:

  $ cat ~/Scripts/keyboard_remapping.sh
  #!/bin/bash
  
  hidutil property --set '{"UserKeyMapping":
      [{"HIDKeyboardModifierMappingSrc":0x700000064,
        "HIDKeyboardModifierMappingDst":0x700000035},
       {"HIDKeyboardModifierMappingSrc":0x700000035,
        "HIDKeyboardModifierMappingDst":0x7000000E1}]
  }'