It turns out that those users are not shown because they belong to a custom group.
Now this brings me to the question: why are users belonging to a custom group not shown in the user manager?
Workaround is to set those users as members of both their custom group, and the parent (in this case it was "registered")