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