Category badge missing on group permission and user summary page

[Moin]

Any chance the badges will be added again soon? I find it much easier to identify them by colour