Haha! I think there's conflicting views on what the keybindings should be. I personally chorded all of mine (Ctrl+shift+d d, Ctrl+shift+d s etc.), but we're not sure if we want to chord it. Anyway, a bug report is still appreciated because otherwise the shortcut is functionally broken right now