In this discussion, we've seen people who definitely do know this
argue nonetheless that the "Linux users" should not be expected to put
effort into cooperation with the "GNU users".
What that shows is that it isn't just a matter of whether people
know the historical facts. It's whether people think of themselves
as part of one larger community, or two smaller ones.