Ask HN: What's the smallest headcount for a tech IPO?

I started wondering about the extreme outliers in tech startups, and I remember that when Instagram was acquired for $1B they had ~10 employees, and that there was talk that they could have gone public at the time instead. Was that actually true? Regardless of Instagram in particular, what's the minimum size for a company going public?