Pretty sure most of you already know this but for those who don’t: you have two clipboards in Linux. One is the traditional clipboard where you copy with control c and paste with control v. The other one is when you highlight text and use the mouse middle click to paste text.
More details here.
I think going of out your way to type four more letters shows appropriate appreciation for the historical significance of the GNU project.
I think that sort of pedantry over semantics is one of the reasons the Linux community has such a bad reputation.
You vlassifying it as “pedantry” supports my point. It’s also ironic, considering you told somebody else to not call it GNU+Linux instead of the other way around.