Safari 11.1 funcionando en macOS Sierra 10.12.6., en una MacBook Air de mediados de 2013. El software está completamente actualizado.
Me gustaría que Safari utilizara DuckDuckGo como su motor de búsqueda predeterminado. Sin embargo, cuando elijo DDG en el menú desplegable en Safari > Preferencias > Búsqueda, el menú desplegable vuelve inmediata y espontáneamente a Google, sin ninguna otra intervención de mi parte. Todas las demás funciones de Safari funcionan correctamente. Curiosamente, tengo exactamente el mismo software en una MacBook Pro de mediados de 2010, y ese Safari permite la selección del motor de búsqueda.
Tengo solo dos extensiones (wipr y Omnikey) instaladas; quitarlas no afectó este comportamiento. Cerrar Safari y el sistema operativo no tuvo efecto. Reiniciar en Modo Seguro no tuvo efecto. Eliminar el com.apple.safari.plist (de ~/Library/Preferences/) no tuvo efecto. Reemplazar el .plist con el plist de la MBP que funciona correctamente no tuvo efecto.
¿Alguna idea de cómo remediar esto?