So… a few months before this, Linux had been noted to have just tipped 5% desktop market share…

What’s it going to be like now? 6%? 10%!?