${lead}
Extensions.gnome.org bietet einem Gnome 3.6 derzeit nur etwas mehr als zwanzig Erweiterungen an.
