Язык интерфейса в настройках профиля переводит названия бейджей

Ах, извини, Армин. У меня случился «незавершённый черновик».

Полагаю, заголовки значков предназначены для перевода (если существует перевод), так что они, видимо, работают как положено. Можно, конечно, утверждать, что их следует перевести заново в зависимости от того, кто их просматривает, но я считаю, что это было бы изменением, а не исправлением.

Однако те, которые вы установили как заголовки групп по умолчанию, не должны переводиться и должны оставаться такими, как вы их задали. Не было бы ли использование этой функции более подходящим для вашего случая?