Filter users by role

Describe your problem

Currently no possibility exists to only show users that are assigned to a certain role.

Describe the solution you'd like

Implement a functionality inside the user administration admin interface that allows for such filtering.