Hmm, ¿tal vez fue un error temporal?
Porque puedo encontrar esa configuración de nuevo en la página de configuración:
Han cambiado muchas cosas desde mayo, así que házmelo saber si sigues teniendo algún problema con la configuración oculta + búsqueda.