Как я могу удалить категорию Ubuntu Dock из приложения настроек GNOME?

Я использую Ubuntu 18.04.3 и удалил док-станцию ​​Ubuntu с этим:

sudo apt remove gnome-shell-extension-ubuntu-dock

док был удален, но все еще имеет настройки дока в настройках GNOME:

Как удалить этот параметр из настроек?

Почему я удалил расширение Ubuntu Dock

Ubuntu 18.04 .3 удалил некоторые настройки Dock в dconf (/org/gnome/shell/extensions/). и только из-за этого я не могу изменить настройки дока на то, что мне нравится. Я решил удалить его и использовать вместо него расширение dash для док-станции (на 18.04.2 док Ubuntu имел те же настройки dconf, что и расширение Dash to Dock, но на 18.04.3 некоторые из этих настроек пропали, а некоторые не изменились что-нибудь в доке).

Если я не удаляю Ubuntu Dock и только устанавливаю расширение dash to dock, у меня может быть 2 дока. поэтому док Ubuntu должен быть удален.