Définition d'un moteur de recherche personnalisé par défaut dans Opera

Je voudrais utiliser DuckDuckGo comme moteur de recherche par défaut dans Opera. Les versions Opera 17+ sont équipées d'un gestionnaire de moteurs de recherche (Menu Paramètres > Recherche> Gérer les moteurs de recherche...), où vous pouvez ajouter des moteurs de recherche personnalisés et modifier le moteur de recherche par défaut (le paramètre d'usine est Google). Quoi qu'il en soit, contrairement à la plupart des autres navigateurs, le moteur de recherche par défaut dans Opera ne peut être remplacé que par un moteur de recherche prédéfini différent, et non par un moteur de recherche personnalisé . Sans spéculer sur les raisons de cette restriction arbitraire, je me demande comment il est possible de convaincre Opera d'utiliser un moteur non prédéfini par défaut. Il devrait y avoir un fichier de paramètres à modifier manuellement, je suppose. J'ai essayé de saisir mon dossier de données utilisateur ("%APPDATA%Opera Opera" sur Windows, devrait être quelque part sous ~/Library sur OS X) pour "google" et "yahoo", mais je ne pouvais pas trouver l'endroit.