Comment by jeffbee

The number of people who have "installed linux" other than ChromeOS on a Chromebook is probably in the low single digits, while the ChromeOS installed user base is in the hundreds of millions. For any given thing someone is going to try to put linux on that thing, but it is not a common use case for Chromebooks that we need to discuss.