Peut-on exclure les paramètres cachés de la recherche d'administrateur ?

[chapoi]

J’admire à quel point vous êtes toujours apte à identifier les commits pertinents.

Préférez-vous garder ce sujet ouvert ou dois-je le clore, maintenant que le problème principal a été résolu ?