[Don Manuel]

Und wenn das nicht funzt,
wie ich, meinen Tip selbst falsifizierend, gerade erlebt habe,
die Datei search.rdf im Firefox-Verzeichnis müßte auch händisch editierbar sein
(sage ich jetzt mal ganz vorsichtig ).