Теги по умолчанию, скрытые из групп тегов только для администраторов, всё ещё видны в профиле пользователя, настройки скрытых тегов

Я создал тег с именем «muted» и добавил его в группу «admin-only-tags».

Я настроил группу так, чтобы она была видна только администраторам:

Затем я добавил тег «muted» в настройку «default tags muted». Всё отлично, всё работает как ожидалось — теги скрывают темы, к которым они прикреплены.

Однако пользователи без прав администратора могут видеть тег «muted» в своём профиле, в разделе настроек «Muted Tags».

Это так и задумано?
Я полагал, что теги с пометкой «admin-only» позволят мне свободно добавлять их к профилям пользователей и при этом сделают невозможным их удаление самими пользователями. Я хочу, чтобы пользователи даже не знали о существовании таких тегов.