Невозможно изменить док Ubuntu

Я только что (мучительно) обновился до Ubuntu 18.04 LTS. Поскольку, похоже, у меня нет выбора, кроме как использовать рабочий стол GNOME, я пытаюсь внести коррективы, чтобы я мог использовать его больше как рабочий стол Unity, который я использовал в 14.04 и 16.40. Но я обнаружил, что не могу вносить изменений в размер и положение док-станции.

Когда я захожу в "Настройки" и нажимаю на "Док", единственное, что видно на большой правой панели, это очень слабая ползунок, без ползунка. Положение курсора над этой полосой не оказывает никакого влияния. Короче говоря, в моей системе док-станция полностью не настраивается.

То, что я ожидал, было примерно таким: https://websiteforstudents.com/resize-and-adjust-ubuntu-dock-on-ubuntu-18-04-lts-beta-desktop/. То есть возможность настройки размера, положения и возможности автоматического скрытия дока.

Что мне нужно сделать, чтобы настроить док-станцию?

$ apt-cache policy gnome-shell-extension-ubuntu-dock
gnome-shell-extension-ubuntu-dock:
 Installed: (none)
 Candidate: 0.9.1ubuntu18.04.1
 Version table:
   0.9.1ubuntu18.04.1 990
     990 http://us.archive.ubuntu.com/ubuntu bionic-updates/main amd64 Packages
     990 http://us.archive.ubuntu.com/ubuntu bionic-updates/main i386 Packages
    0.9.1 990
     990 http://us.archive.ubuntu.com/ubuntu bionic/main amd64 Packages
     990 http://us.archive.ubuntu.com/ubuntu bionic/main i386 Packages