tout le monde est très explicite - cela me semble être une lourdeur inutile - mais j’apprécie la commodité conservée.
à mon avis, c’est là que se situe le problème (actuel et passé), et non pas avec le concept original de la catégorie « everyone ».
le groupe « everyone » et son utilisation dans le système fondamental des catégories existent depuis… 2013 ?
Si le système de paramètres s’est divergé et a rompu ce contrat, n’est-ce pas un problème lié au travail effectué sur le système de paramètres ?
À mon avis, il aurait été agréable de disposer d’un RFC pour que la communauté puisse contribuer à des idées à ce sujet avant ce qui semble aller droit vers l’implémentation.