Issue #846 - Ctrl key in keyboard shortcuts should no longer be replaced by Cmd when using Mac.