SYNOPSIS [ --create-extension ] DESCRIPTION cinnamon-extension-tool runs the graphical user interface allowing to manage the extensions to be used in cinnamon.
