And it’s that good at 4% market share. Imagine the possibilities if 20% of desktops were Linux, with that much dev time being put into it.

I say “if” but maybe it’s “when”