Exactly. For years I did not see the point in "GNU/Linux" as a term. I understood why he wanted it called that, and sympathised with him, but I lacked a reason to actually care.

Now though the distraction is useful. I use GNU/Linux on my servers, desktops, and laptops, and I use Android/Linux on my phone. The terminology now makes conversation easier, instead of more cumbersome.