Ubuntu erwähnt Linux übrigens auch nicht mehr.

Für die "Wahrheit" ist das aber trotzdem vollkommen irrelevant.

Das gilt für Google genauso. Ihr Android ist ohne den GPL V2-Linux-Kernel gar nicht lebensfähig.

Ubuntu ist GNU/Linux, Android ist Android/Linux. Die essentielle Rolle des Linux-Kernels kann man schließlich aus beiden Betriebssytemen nicht wegdiskutieren.

GNU hingegen ist tatsächlich GNU, während "GNU OS" ebenfalls ein GNU/LInux ist. Das ist nur Stallmans kleine verbale Spitze eben gegen all jene, die GNU/Linux mit "Linux" gleichsetzen. GNU ist logischerweise nicht "GNU OS", nicht GNU/Linux, auch nicht "Linux".