Restart Firefox

Die einzige Funktion von Restart Firefox ist im Name eigentlich schon beschrieben: Durch einen entsprechenden Eintrag im Datei-Menü läßt sich der Fuchs neu starten. Das ist zum Beispiel nach der Änderung von Erweiterungs-Einstellungen oder der Installation von Themes nützlich.