Repository of extensions for cinnamon desktop manager