For all intents and purposes, the cmd (super) key on macOS should be treated as the ctrl key. (cherry picked from commit 71b25e3e5a70937f1e2031b94541c04a68d28efa; amended to fix minor conflict)