December 30, 2021 Just bought rcmd. I don’t think right-command is the correct hotkey to use but it works fantastically with right-control.