Отвечаю сам себе, и, возможно, этот ответ был очевиден для некоторых (но не для меня).
Вкладка «Значки» в интерфейсе администратора предоставляет большой контроль над каждым значком. Администраторы могут включать или отключать каждый значок, а также решать, отображать ли его на странице значков или нет.
Кроме того, простое правило CSS скрывает списки пользователей, и (посмотрев на исходный HTML-код результирующей страницы) можно сказать, что сбор этих данных не является тривиальной задачей, а возможно, и вовсе невозможен — я даже не уверен.
.badges-granted {
display: none;
}
По этим причинам текущая настройка отлично подходит для нас и, вероятно, для большинства других тоже.