No Superstars on the GitHub Followers Leaderboard: Among 350 Million Accounts, Who Has the Most Followers?