... zumal Mutter ja auch ohne die GNOME-Shell, aber mit dem alten Panel verwendet werden kann und somit die Oberfläche wieder beim Alten ist, genau.

Danke für den Beitrag!