После установки RealVNC док изменился (Ubuntu 18.04)

До установки RealVNC (5.0.7) док-станция находилась там постоянно, она была прикреплена с левой стороны экрана.

После установки RealVNC док-панель можно увидеть только при нажатии на «Деятельности», и это старый стиль, закругленный по краям, с красной линией под активными приложениями вместо точки, как в новом стиле.

Почему формат док-станции (или, возможно, вся среда рабочего стола) переключился на это и как я могу вернуть его?

Уже проверено / дополнительная информация; Док не настроен на автоматическое скрытие. Инструмент gnome-tweaks не может это исправить. RealVNC, похоже, не имеет соответствующих настроек для него. Это может быть связано с чем-то другим (то есть, что RealVNC не является причиной проблемы). Эта проблема возникает как при удаленном подключении, так и при подключении экрана непосредственно к серверу.

$ 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 []