It was reasonably public knowledge at the time, iirc. The dev team was not very big at launch.

That said, I'm kinda curious about what roles the other ~25 staff had in such a small team. HR and legal and such I guess?

I'm super curious on this too. I imagine at least a couple community managers and a PR person. So much of game dev is your community. Maybe a branding artist. Web dev for the website/java applet integration. It sounds like they were pretty well structured capital wise so definitely someone in payroll/accounting. But that's _still_ not 25.

I suppose someone had to be running servers, payment systems and so on as well. It is not exactly trivial to distribute and process as many copies as they sold.

It _does not_ seem like a stretch for him to know this. I've done work for a small agency and got to know most people there. The owner, head of art, billing, and other coders. I built 1 large website for them. We had enough communication where I came to understand how the org worked, and became more than acquaintances with the people I didn't know prior.