Well, I suppose that I still cling to a mentality from a decade or so ago, when it seemed worthwhile using "GNU/Linux" to refer to the user-space system (e.g. "

Well, I suppose that I still cling to a mentality from a decade or so ago, when it seemed worthwhile using "GNU/Linux" to refer to the user-space system (e.g. "Debian is a GNU/Linux"), as opposed to just the kernel. But these days "Linux" is almost universally used to mean the former, and "the kernel" is used to refer to the latter. So I suppose you are right, it is a much less principled objection :)