Nach der RealVNC-Installation hat sich das Dock geändert (Ubuntu 18.04)

Question

Vor der Installation von RealVNC (5.0.7) war das Dock einfach dauerhaft vorhanden und an der linken Seite des Bildschirms angedockt.

Nach der Installation von RealVNC ist das Dock nur beim Klicken auf „Aktivitäten“ sichtbar und weist den älteren Stil mit abgerundeten Kanten auf, mit einer roten Linie unter den aktiven Anwendungen anstelle eines Punkts wie im neueren Stil.

Warum wurde das Dock-Format (oder möglicherweise die gesamte Desktop-Umgebung) hierher zurückgewechselt und wie kann ich es rückgängig machen?

Bereits getestet/weitere Informationen: Das Dock ist nicht auf automatisches Ausblenden eingestellt. Das Tool gnome-tweakskann es nicht beheben. RealVNC scheint keine entsprechende Einstellung dafür zu haben. Es könnte mit etwas anderem zusammenhängen (d. h. dass RealVNC nicht die Ursache des Problems ist). Das Problem tritt sowohl bei einer Remote-Verbindung als auch bei einem direkt an den Server angeschlossenen Bildschirm auf.

$ apt policy gnome-shell-extension-ubuntu-dock
gnome-shell-extension-ubuntu-dock:
  Installed: 0.9.1ubuntu18.04.3
  Candidate: 0.9.1ubuntu18.04.3
  Version table:
 *** 0.9.1ubuntu18.04.3 500
        500 http://au.archive.ubuntu.com/ubuntu bionic-updates/main amd64 Packages
        500 http://au.archive.ubuntu.com/ubuntu bionic-updates/main i386 Packages
        100 /var/lib/dpkg/status
     0.9.1 500
        500 http://au.archive.ubuntu.com/ubuntu bionic/main amd64 Packages
        500 http://au.archive.ubuntu.com/ubuntu bionic/main i386 Packages

$ gsettings get org.gnome.shell enabled-extensions
@as []