I don’t know if that headcount I listed includes contract employees. They typically get compensated far less, and anecdotally I’ve been told by a former Meta friend that there are more contracted developers than salaried there. And what’s the ratio of software developers compared to other personnel? HR, QA, marketing, sales, etc? Employees in other countries? I figured a more conservative estimate was reasonable for cost overall.