How would you define "Linux distro" though?

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?