${lead}
Über das schlicht "Optimierungen" ("Tweaks") genannte Gnome-Tweak-Tool kann man viele Einstellungen vornehmen, die Gnome den Nutzern standardmäßig vorenthält.
