Be careful, there are still some explicit ctrl-[key] on the Mac.
Though, we can revisit it later when needed.