@RamSpeicher: vielen Dank für den Tip mit Tante G; ich habe gerade ein ganz gut laufendes System & möchte dies nicht leichtfertig zerbomben. Wenn hier noch eine i.s. Anleitung kommt probiere ich es gern aus aber nicht ins Blaue hinein.
Gruß -Linuxbear-
Das hier ginge https://extensions.gnome.org/extension/1505/new-mail-indicator/. Ich benutzte https://extensions.gnome.org/extension/258/notifications-alert-on-user-menu/.