It might be a detail, but it really bugs me: I think it would be much more fortunate to change "Linux" to "GNU/Linux". Even if you ignore the whole "GNU OS" thing, it still looks weird to have "Linux" and Android with ChromeOS as separate entries since both Android and ChromeOS use Linux as the kernel.