Após a instalação do RealVNC, o dock mudou (Ubuntu 18.04)

Question

Antes da instalação do RealVNC (5.0.7), o dock estava simplesmente permanentemente lá, encaixado no lado esquerdo da tela.

Após a instalação do RealVNC, o dock só pode ser visto ao clicar em “Atividades” e é o estilo mais antigo, arredondado nas bordas, com uma linha vermelha abaixo dos aplicativos ativos em vez de um ponto como no estilo mais recente.

Por que o formato dock (ou talvez todo o ambiente de área de trabalho) voltou para isso e como posso revertê-lo?

Já testado/mais informações; O dock não está configurado para ocultar automaticamente. A ferramenta gnome-tweaksnão pode consertar isso. O RealVNC não parece ter uma configuração relacionada para isso. Pode estar relacionado a outra coisa (ou seja, que o RealVNC não é a causa do problema). O problema acontece tanto quando conectado remotamente quanto com uma tela anexada diretamente ao servidor.

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