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

Michael Camilleri @pyrmont