Microsoft's GitHub Is Losing Traffic, Based on an Extensive Web Survey