Настройка пользовательской поисковой системы по умолчанию в Opera

Я хотел бы использовать DuckDuckGo в качестве поисковой системы по умолчанию в Opera. Версии Opera 17+ поставляются с менеджером поисковых систем (меню Настройки > Поиск > Управление поисковыми системами...), где вы можете добавлять пользовательские поисковые системы и изменять поисковую систему по умолчанию (заводская настройка - Google). В любом случае, в отличие от большинства других браузеров, поисковую систему по умолчанию в Opera можно изменить только на другую предопределенную поисковую систему, а не на пользовательскую поисковую систему. Не размышляя о причинах этого произвольного ограничения, я задаюсь вопросом, как можно убедить Opera использовать по умолчанию не предопределенный движок. Наверное, должен быть какой-то файл настроек для редактирования вручную. Я попытался захватить свою папку с пользовательскими данными ("%APPDATA%OperaOpera" в Windows, должна быть где-то под ~/Библиотекой в OS X) для "google" и "yahoo", но я не смог найти место.