Der Vollständigkeit halber noch folgender Kommentar:
Das Plugin ctr installieren. Dann auf Einstellungen. Dann öffnet sich ein neues Fenster, dort links unten gibt es wieder Einstellungen wo man Firefox-Vorgabe wählen kann. Dann wählt man bei Oberfläche(1) erster Punkt "Alte 'Suche'". So hat man die normalen Firefox Einstellungen behält jedoch die alte und meines Erachtens bessere Suche.
<;)