The "timeline to phase out ChromeOS is 2034," court documents reveal