Change the way Cinnamon works with extensions!
            
            To install an extension: Download it and decompress it in ~/.local/share/cinnamon/extensions.
                
            You can also download and install extensions straight from within Cinnamon, using the "Extensions" configuration tool in the "System Settings".