Is there a mechanism for searching the space of usernames?
I know the Users page has a filter function that will filter on the first letter(s) of a username. And I know about the similar autocomplete of the @ syntax to refer to a user within a post.
But I’m looking for a feature like “Return a list of all users whose name contains the string ‘guy’ anywhere in the relevant field(s)”. From there I could count them, or click to visit their user summary pages. So the results would be akin to what the user page (filtered or not) currently shows.