Ubuntu 18.04: рабочие пространства для расширения дока ОШИБКА

У кого-нибудь еще есть проблемы с расширением "Workspaces to Dock" в Ubuntu 18.04? Я могу установить его без проблем из:

https://extensions.gnome.org/extension/427/workspaces-to-dock/

Но каждый раз, когда я перезагружаюсь, он не загружается, и я вижу предупреждающий знак в настройках GNOME со следующим сообщением:

Ошибка при загрузке расширения

Любая подсказка?

РЕДАКТИРОВАТЬ:

Запустив следующую команду, как предложено в комментариях, я заметил следующие строки, которые могут иметь отношение к делу.

sudo journalctl /usr/bin/gnome-shell | grep workspaces

Dec 24 13:41:35 dcarbajo-SLIMBOOK gnome-shell[2246]: Extension "workspaces-to-dock@passingthru67.gmail.com" had error: TypeError: Me is null
Dec 24 13:41:35 dcarbajo-SLIMBOOK gnome-shell[2246]: Extension workspaces-to-dock@passingthru67.gmail.com already installed in /home/dcarbajo/.local/share/gnome-shell/extensions/workspaces-to-dock@passingthru67.gmail.com. /usr/share/gnome-shell/extensions/workspaces-to-dock@passingthru67.gmail.com will not be loaded