Beim Aufräumen meiner Festplatte ist mir aufgefallen, dass die Dateien von bereits wieder deinstallierten Erweiterung und Themes (die Deinstallation erfolgte über den Button "Deinstallieren" im entsprechenden Fenster) noch immer in meinem Profil-Ordner unter "extensions" vorhanden waren.
Gibt es eine Einstellunge, damit diese Dateien auch gelöscht werden oder ist es ein bekanntes Problem?
Ach ja: Mozilla/5.0 (Windows; U; Windows NT 5.0; de-DE; rv:1.7.5) Gecko/20041108 Firefox/1.0, W2K (SP4)