At least at my company, it’s normal to have technical writers, project managers, etc. have GitHub accounts as well. I could easily see them getting to 90M active users, regardless of how many programmers there are.