They have 800 engineers. So 3,800 repos is high, but not crazy.

Some of those could be forks.