Das Unternehmen Statcounter misst die Nutzung von Desktop-Betriebssystemen und kommt im Dezember für Linux 3,84 Prozent.