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

Question

До установки 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 []