The page doesn't report who has the role of "editor"

The page at http://groups.drupal.org/profile/moderators shows the list of users who have extra permissions on g.d.o; it also allows to filter the list basing on a specific role. It works good, but it doesn't show who has the "editor" role.

For the other roles, and when a role is not selected, the page filters the list of users.