Ein neues Werkzeug für erweiterte GNOME-Einstellungen debütiert. Ich habe es mit dem bewährten Tweak-Tool verglichen.