In fact, they never say it’s not Linux. The summary would be more like: “ChromeOS should be counted among desktop Linux, because it has the same basis as any other GNU/Linux distribution, unlike Android. Here are the dumb reasons I think people would argue against this.”