Thread:Veenster7/@comment-5429623-20161205000425/@comment-5558012-20161205011911

@Sangar - The filters help in that regard. The duplicate groups adds maybe a few extra seconds to find the users that are just in one lower group.

Either way, I tend to remove unnecessary stuff so I would remove all of these. If it's really a big deal, the wiki uses the UserTags script so individual Admins could add the other tags if they feel lost without them.

@Veenster7 - You could bring it up as a discussion. Bottomline, the issue is just one over trivial labels.