cinnamon-settings: be a little smarter about detecting duplicate keybindings