Die erweiterten Einstellungen starten, heisen auf deutsch:
Optimierungen
---
Genz wichtig für mich sind dort auch die Erweiterungen, die aber nur geladen werden können, wenn der Standart Gnome Browser nicht geändert worden ist:
Einstellungen-Deteils-DefaultApplications