How many employees does Docker has/had? I feel like if I got a couple hundred million dollars in funding, I could make it last many many years, producing what Docker has produced. But of course this feeling isn't based on any entrepeneurial experience, so I'm probably wrong. But that seems like an awful lot of money to shoot through.