Je réponds à moi-même, et peut-être que cette réponse était évidente pour certains (mais pas pour moi).
L’onglet Badges dans l’interface d’administration offre un contrôle précis sur chaque badge. Les administrateurs peuvent activer ou désactiver chaque badge, et décider s’il doit être affiché ou non sur la page des badges.
De plus, une simple règle CSS masque les listes d’utilisateurs. En examinant le code source HTML de la page générée, il semble que la récupération de ces données ne soit pas triviale, voire impossible ; je ne suis même pas certain.
.badges-granted {
display: none;
}
Pour ces raisons, la configuration actuelle nous convient parfaitement, et probablement à la plupart des autres également.