Most definitions I've seen would make things like Chrome OS or even Android qualify as distros, so they wouldn't really be wrong, even if they might not be a very "traditional" form of it.
Maybe Stallman wasn't wrong to prefer the term "GNU/Linux" after all?
For contrast, currently the number of PS4 games in existence is around 3,325.
Sure, it does not reach yet the 4,527 from the Switch. But it's a matter of time... specially given that ProtonDB seems to be close to a 8,106 and Valve has still a huge (and ever growing) amount of games left to put a rating to.