User blog comment:BartoszC/How do I add more user groups on my wiki?/@comment-1038387-20160826202734

They use Usertags.