Dash-to-Dock продолжает исчезать в Ubuntu 18.04

Я знаю, что есть несколько, казалось бы, похожих вопросов, но ни один из них не относится к моей проблеме:

Я использую совершенно новый Ubuntu 18.04 (рабочий стол GNOME ) на новом настольном компьютере, и я установил GNOME Tweaks и расширение Dash to Dock GNOME с настройками по умолчанию. Он работает нормально после установки некоторое время, но в какой-то момент док просто исчезает.

Когда я захожу на его веб-сайт , переключатель включается. Если я попытаюсь выключить его, появится сообщение ERROR.

Если я удалю и переустановлю, все будет нормально.

Есть идеи?

Изменить: когда я блокирую экран и снова вхожу в систему, док тоже появляется снова.