Use a placeholder for the “everyone” group in category permission explanations

[Moin]

Recently, this text and 2 similar ones were added:

This category is public, everyone can see posts. To restrict permissions, remove the “everyone” group.

Identifier

js.category.permissions.everyone_see_access
js.category.permissions.everyone_reply_access
js.category.permissions.everyone_full_access

The problem I see with this is that group names are always in the default locale of the forum, but the admin may have a different interface language. I think it would be less confusing if the English text in my German forum would still refer to the group “jeder” because that’s what’s shown above

Is it possible to change this to

This category is public, everyone can see posts. To restrict permissions, remove the “%{everyone_group}” group.

Then the group name could be based on the name of the everyone group.

[zogstrip]

My bad - keep forgetting the “everyone” group is “renamable”…

FIX: Use placeholder for "everyone" group name in category permissions (#37724)