You’re keeping a discussion on technical reasoning for why Android and Desktop Linux are separated in a list like that, but the reason is not technical. It’s wholly for convenience. We want to know the performance of Desktop Linux separate from Android. Whether or not they are a different OS or not is irrelevant.

> We want to know the performance of Desktop Linux separate from Android

... Because they are a different OS.

> You’re keeping a discussion on technical reasoning for why Android and Desktop Linux are separated in a list like that

Mind you, my motivation to have them separated aren't that technical. Actually, I'd be more interested in the philosophical / social aspects of the question.

That doesn't mean the technical aspects aren't interesting and this subthread is technical, and I've been snipped by the technical inaccuracies present there.

In a way, the philosophical discussion also has less risk of being clouded by technical inaccuracies too, and more chance of succeeding in the technicalities are sorted out, especially in presence of people who know the technical details.

You are free to spark a nontechnical discussion in which you motivate why, technical details aside, we should be interested in having the two separated. Please do!

Actually, I did this a bit there: https://news.ycombinator.com/item?id=44580682#44583693