Replacement of the GNOME 3 control center for the Cinnamon User Interface