**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.


 - 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.