Gnome Shell Extension zum hinzufügen des Benutzernamen und Hostnamen zu Panel.
Aktivitäten Taste entfernt, Anwendungsmenü entfernt, Uhrzeitformat angepasst
ArcMenu is a Dynamic / Traditional / Modern Extension Menu for GNOME