${lead}
Die Gnome-Entwickler haben das oben rechts einblendbare Benutzermenü umstrukturiert, um es übersichtlicher zu gestalten.