Nah, it’s just easier to refer to GNU/Linux as Linux. None of the GNU stuff is in Android, so it really is -just- Linux. Steam Deck is a fair point, they modified some distro a lot and made it their own (like Microsoft modifying chromium to make the edge browser). But yeah, Linux nerds be like that.