[yminsky]

I think we're pretty clearly the most intense user (most code, most developers using it), but not technically the biggest company using it. Bloomberg and Facebook are examples of bigger companies using it in serious ways.

[jgg]

Yep, that's what I was trying to convey.

Thanks for your work.