I could see desktop Linux being higher than ChromeOS if what's being tracked is activity at websites that ChromeOS' target audience wouldn't often visit - which to your point, leads to the question of what the denominator is (all "desktop computing" form factor devices, all devices that browse the internet, are devices restricted to an intranet included, etc.)