Gnome shell extentions. Регулярно слетают почти все расширения и как удалить ненужные расширения?

Хочу удалить расширение "Помодоро", уж больно глючит оно, но кнопка неактивна. Как удалить расширение в ручном режиме? openSUSE 42.2

http://storage4.static.itmages.com/i...fe72026f8c.png