Most people are not just happy because OSes that use the linux kernel now account for 3% of desktop Oses, but because presumably 3 percent of desktop users are using an OS that gives them choice and freedom. Which as the article mentioned isn't a trait of ChromeOS, the less popular ChromiumOS on the other hand, I would happily consider Linux as having 7% of desktop users out there if ChromiumOS had that 4%.