Has Linux's market share really doubled in two months?