Danke für die Tips!
Ich habe die Stelle gefunden, wo man den Ordner einstellen kann, und ich habe auch den richtigen Ordner mit den Plugins ausgewählt.
Jetzt erscheint auch das Leo Plugin, welches ich selber installiert habe.
Aber die voreingestellten Suchmaschinen (Google & co) fehlen weiterhin.
Irgendwelche Ideen?