Statcounter, a website that tracks the market share of web browsers, operating systems, and search engines, is reporting that Linux on the desktop has over 4% market share for the very first time (Statcounter records ChromeOS as a separate operating system despite being based on Linux).