${lead}
Einige der Unterschiede zwischen Gnome 3.0 und 3.2 zeigen sich erst bei genauerem Hinsehen – etwa die neuen Einträge im Benutzermenü.