Jeez: Ups ... da ist mir wohl ein Fehler unterlaufen ... sollte natürlich eigentlich "Tabbrowser Extensions" heißen und nicht "Preferences".