...this had me concerned for a minute, then I read the article and realised that 'Pixel' now means a phone and not a Chromebook. Panic over!
Google experimented for a while with weird model numbers like 5X and 6P, but seems to have decided against continuing it. It's the version wars all over again. Who wants to be stuck at 5 and 6 when Apple is at 7, Samsung will soon return with an 8, and Microsoft already played the "we'll skip ahead to 10" card?
Yes, I know that there are specific model numbers... in tiny print... but if people don't know them or use them it is no help.
All the other ChromeOS models from Google are no longer on sale.