@lanodan @ThatOneSeong it's just my opinion on long philosophical question on whether Android is Linux. And to me, it is. But to distinguish it from the same Linux I have on my PC, there is good old GNU slash prefix.

And it somewhat aligns with platform triplets too.