Cinnamon keybinding manager (using muffin)