Zitat von nr39mkEDIT:
Im Erweiterungsmenü sind die zu deinstallierenden Erweiterungen unverändert sichtbar...
Nachdem ich die entsprechenden Bereiche aus der Datei Extensions.rdf gelöscht hatte:
<RDF:Description RDF:about="urn:mozilla:extension:{508C8313-28CA-... usw.}"
em:version="0.1.1"
em:name="Mail2000 Notifier"
em:description="Notify the user when a new mail comes in."
em:creator="William Liao"
em:homepageURL="http://mail2knotifier.mozdev.org/"
em:updateURL="http://mail2knotifier.mozdev.org/update.rdf"
em:aboutURL="chrome://mail2knotifier/content/about.xul"
em:iconURL="chrome://mail2knotifier/skin/mail2knotifier.png"
em:toBeUninstalled="true">
<em:targetApplication RDF:resource="rdf:#$wZXBy"/>
</RDF:Description>
war die zu deinstallierende Erweiterung auch aus dem Erweiterungsmenü gelöscht.