${lead}
Über Erweiterungen lässt sich Gnome auf die eigenen Bedürfnisse zuschneiden, wie man es von Browser-Extensions kennt.
