I don't think anybody implied or thought of Android in this subthread, just because it nominally runs the Linux kernel. I for sure understood it as just "Linux = whole OS-level distros of the laptop/PC bound type" not "anything with a Linux kernel even if it's a proprietary mobile phone OS".
(I used to dislike this "GNU/Linux" term, it seemed unimportant - Android showed me why the GNU part of it is)
[1] https://keepandroidopen.org/