Después de actualizar a macOS 10.13.4, mis extensiones en Safari fueron deshabilitadas. La pestaña Extensiones de Preferencias de Safari dice "Las extensiones se pueden habilitar en el Menú de Desarrollo". Sin embargo, cuando intento desmarcar "deshabilitar extensiones" en el menú Desarrollador, no ocurre nada y permanece marcado.