Reactivar búsqueda de descubrimiento (por ajustes de usuario)

[keegan (Keegan George)]

Ah, sí, gracias por señalarlo. En realidad había un Contribute > Bug aquí; acabo de subir una solución:

FIX: AI preferences tab button not appearing unless Helper enabled (#1452)