Im Forum lese ich immer wieder, dass viele Erweiterungen sich mit den Userscripts oder Veränderungen in UserChrome.js ersetzen lassen. Lohnt es sich, die schon installierte Erweiterungen mit solchen Scripts zu ersetzen? Funzt dann Firefox besser? Schneller?
Ich stelle diese Frage, weil ich viele Erweiterungen habe. Manche lassen sich natürlich nicht ersetzen (ScrapBook, Secure Login etc.), viele aber schon (ich habe z.B. Stop-or-Reload Button, Google Icon, Link Alert, Resizeable Form Fields usw.). Soll ich also sie löschen oder ist es egal, wenn sie sowieso schon installiert wurden?