How many actual regular every day people are using either? ChromeOS's big market is "tired and underfunded K-12 IT/Library/HVAC admin who just doesn't give a fuck give the kids a chromebook so I can go do something else", it's not exactly making waves among the general populace.