3 ms·

Replace ctrl by alt and that's macOS hotkeys. Except there are a ton more which one can use (but of course doesn't have to use)