Слишком много значков расширений Показать на рабочем столе под панелью GNOME

Я использовал расширение GNOME в ярлыке оболочки "Показать рабочий стол" в Gnome и теперь вижу слишком много кнопок на рабочем столе. Я думаю, что, возможно, я пытался установить его несколько раз, по-видимому / возможно, из-за того, что "ничего не происходит" каждый раз, когда я это делал, до тех пор, пока не понял, что это не даст никаких признаков того, что он действительно что-то установил. Теперь у меня осталось несколько "кнопок" на панели рядом с навигационной ссылкой "Действия":

Это под Ubuntu 17.10.

Как мне удалить все из них, кроме одного?

Я знаю о привязке ctrl + alt + d, но я склонен отключать привязки в настройках, так как мне нужно, чтобы все привязки клавиш Ctrl и Alt были зарезервированы для конкретных окон приложения, а не "сожраны" окном X менеджер.