I don't think they ever directly publish that, but they did publish in 2010, producers of Visual Studio extensions brought in over $400 million in revenue. Considering the people buying those extensions have a full version of Visual Studio, and the cost of VS and MSDN subscriptions, I would not be surprised if those two things account for most of that $5 billion.