> IIUC what this issue suggests is that Rubberduck Hotkeys with `Ctrl + Shift` should not trigger in User Form design mode, since the designer already uses that key-combination to select Properties based on their name.
The alternative would be to ignore this behaviour.