**No.**

 - As much as it might be technically incorrect, to all but the most extreme, the two phrases are synonymous. RMS might not like it, you might not like it, but that's language for you.

    What the poster *means* (the important bit) when they say "Linux" is usually pretty simple to understand from the context, in my experience. Just as you can understand the different meanings of "lead" (element Pb or the verb "to lead") based on the sentence, you can divine if the poster is talking about an operating system or a Kernel.

    If the meaning can't be inferred from its context, *then* there's a problem.

    **Edit** You've linked in another thread about using correct terminology with regards to launchers, panels and docks. **In these cases they are not synonyms.** To use one in place of another makes it very hard to understand the meaning.


 - Once we get past the ideology and phraseology, editing every instance of "Linux" to "GNU/Linux" needs a massive buy in of time. If you were to take that time and invest it in making questions more understandable, correcting answers or even writing new answers, you'd help the site a whole lot more.

    A system-performed search-and-replace would not be good either as we'd end up breaking the context of posts that were talking about Linux-the-Kernel and not Linux-the-OS.


 - Edits should only be considered if they add value. Editing tags makes things easier to find, editing questions should make them easier to understand and make them answerable, and editing answers should make them easier to follow or more accurate.

    Edits that don't follow those rules (removing salutations, etc) end with posts needlessly being bumped or converted into Community Wikis.

    **Simple edits should not be performed unless they're part of a valuable edit.** And even then I wouldn't bother replacing "Linux" with "GNU/Linux" as it might just confuse the OP.

**Edit** This got discussed in Chat a couple of times over the day and I still haven't been convinced.

>I don't want to draw this out any further so lets just say: if you want to call it GNU/Linux or just Linux in your own posts (there are various valid uses of the word "Linux" in posts where "Ubuntu" wouldn't suffice), that's fine. But don't edit it in or out of other people's posts. It wasn't the OP's wish and (as with the list of MMOs thread) it bumps the question right up for no reason. Essentially, it hurts the site and wastes your time.

>I can't speak for the other mods but if I see an edit doing that, I'll roll it back. If you edit it back, I'll suspend you. That goes for everybody. In both directions.

>But that's enough on this. It's nowhere near important enough to have warranted all the keystrokes it's already attracted. Move along. Nothing to see here.

As I say, this might not be the policy that Marco and Stefano follow but I'll treat edits for something as trivial as this completely needless and may roll them back. If you persist, I'll treat it as intentional vandalism and take firm action.

I'm not saying this as a threat -- if there's a good reason for an edit, that's fine -- but needless editing shouldn't be encouraged or abided.