Hmm, parece que foi um problema temporário, talvez?
Porque consigo encontrar essa configuração novamente na página de configuração:
Muita coisa mudou desde maio, então me avise se você ainda tiver algum problema com configurações ocultas + pesquisa.
