Cinnamon menu editor inside Cinnamon Settings as module