Re: predantry
> I don't call it "GNU/Linux" because only 10% of the software on a typical Linux box originated with GNU
Well, generally in the context of operating systems, the "userland" is all the software that you need to build a bare usable OS. That does not include "end user applications" which can be anything, even proprietary. Doesn't change the userland, which is primarily the work of the FSF's "GNU project".
I am sure <20% of the apps on my phone originate with Android as well, but we still call the userland "Android" because of all the libraries, systems, services and utilities on top of Linux which make the OS what it is.
Even if we accept your premise that all software and applications running on Linux is the "userland", most of that software still uses the GNU GPL, making it "GNU" software in that sense (or at least GNU related). GNU is not a company with a trademark, it is more of a philosophy around software development and licensing.