gnome-extra/cinnamon: removed.