Ik heb in mijn systeem wat extensies van Gnome 3.4 (dacht ik) die niet meer werken onder Gnome 3.14.1 Ik zou ze nu graag uit mijn systeem (uit 'Afstelhulp')verwijderen, maar dat lukt niet. De betreffende website (
https://extensions.gnome.org/local/) staat ook nog steeds (al jaren dacht ik) in BETA. Weet iemand een truc om ze toch te verwijderen?