cinnamon-menu-editor • man page