Rispondo a me stesso, e forse questa risposta era ovvia per alcuni (ma non per me).
La scheda Badge nell’interfaccia di amministrazione offre un ampio controllo su ogni singolo badge. Gli amministratori possono abilitare o disabilitare ogni badge e decidere se mostrarlo o meno nella pagina dei badge.
Inoltre, una semplice regola CSS nasconde le liste degli utenti e, osservando il codice HTML della pagina risultante, raccogliere tali dati non è banale e forse non è nemmeno possibile; non ne sono nemmeno sicuro.
.badges-granted {
display: none;
}
Per questi motivi, l’attuale configurazione funziona bene per noi e probabilmente anche per la maggior parte degli altri.