I don’t think tagging GNU in front of Linux is dumb, people wouldn’t care to figure out who they are and what its about if they didn’t do that. You have to give credit to both of them. I still would want GNU there, even if I don’t say it most of the time. I call it Linux mostly but sometimes I call it GNU plus Linux just to be accurate.