The fun part of this exercise is that some people on HN give their real name or a way to find out their real name like the commenter did. They’re part of a pretty small company as far as I can tell. Closer to 25 people.