Как я могу заменить Ubuntu Dock по умолчанию расширением Dash To Dock gnome? [Дубликат]

На этот вопрос уже есть ответ:

• Как мне избавиться от дока в Ubuntu 18? 3 ответа
• Как получить ванильный GNOME после Ubuntu 17.04? 2 ответа

Проблема в том, что расширение Ubuntu Dock в GNOME TWEAK TOOL выглядит как «отключено», поэтому отключить его таким образом невозможно. После того, как я установил расширение Dash To Dock, обе доки отображаются в режиме «Dash View». Как я могу отключить Gnome Dock и почему невозможно отключить его с помощью GNOME TWEAK TOOL так же, как можно отключить любые другие расширения GNOME?