Hm, das mit dem Profilordner dachte ich mir auch schon, es gibt aber nur einen, oder? Ich frage, weil NoScript die einzige Erweiterung ist, die diesen Ärger macht. Alle anderen lassen sich normal aktualisieren oder wahlweise auch deinstallieren.
Danke für den Hinweis mit sudo. Es ist mir auch unwohl mit Superuser Rechten zu arbeiten.