cinnamon settings: some cleanup