Yep. The users with names like that in channels I'm in are actual users.