Natürlich war ich mir sicher, aber dennoch stimmen sie nicht !
Sollte natürlich die extensions.ini, extensions.cache und extensions.rdf sein.
Vielleicht waren es die Nachwirkungen der Olympia-Schlussfeier, die den Verstand etwas vernebelt haben
Sorry - gelobe Besserung :oops: