Gnome Shell Extension zum hinzufügen des Benutzernamen und Hostnamen zu Panel.
Aktivitäten Taste entfernt, Anwendungsmenü entfernt, Uhrzeitformat angepasst
Anpassen des Uhrzeiformates im Gnome Panel
