Does it use ChromeOS or Android? I read an unreliable comment in Reddit that Google may be forced to sell ChromeOS to satisfy antitrust lawsuit. The comment provided zero evidence for the conjecture.