[danpalmer]

But it costs $1.3m USD a month to run, not including their salaries. That's the cost of a team of 50-200 staff, depending on where you're hiring.

I don't think there's any way most people would call that lean. It's lean in exactly 1 axis which is people, but no one really cares about that, people is always a proxy for cost.