Die App wird immer noch nicht im Menü gezeigt.
Wenn GNOME so kompliziert ist, dann muss ich wieder zu Cinnamon zurück.
Mir ist dein Problem mit dem Gnome Dock völlig unverständlich. Ich mache das mit einem Klick, ohne irgendetwas zu konfigurieren, oder eine erweiterung installieren zu müssen.