Comment by benjaminl

It’s still really strange that Linux is several times larger than ChromeOS. I would not have guessed this. And I daily drove Linux for years.