I don't know, Google News showed me that article today... I need to get a new laptop in about 6 month (ok, still need to save the money), and this time I will go back to Linux. So I divorce ChromeOS 😢 ...
I don't know what distro I will go for, but I know it will be Ubuntu, Debian or Fedora. I also know I go on gnome. Just like the old days when the world was still ok.