Hmm, on dirait que c’était peut-être un problème temporaire ?
Parce que je retrouve ce paramètre sur la page de configuration :
Beaucoup de choses ont changé depuis mai, alors faites-moi savoir si vous rencontrez toujours des problèmes avec les paramètres cachés + la recherche.