[wmf]

If ChromeOS and Android end up in different companies it might prevent them from merging and thus lead to greater OS diversity.