Как удалить расширение Gnome WinThumbnails

Я только что установил расширение winthumbnails и в отличие от других расширений его нельзя удалить с помощью https://extensions.gnome.org/. Есть ли другой способ удаления, потому что он действительно беспокоит меня, потому что он неактивен и просто остается там занимающим пространство.