Nevertheless, it is completely ridiculous to keep this name-war alive since
we _cannot win_.
People call it Linux, and they will do so for ever and ever and it is
extremly unlikely that this will change.
It may be unjust but this is how it is!
We cannot force the whole world to call it "Gnu/linux", and if we keep on
trying, all we gain is confusion and misunderstanding.
And after all, it's only a name.
Now, hold back with the old "name convey ideas" story. This is true, but
actually we do harm to the original idea. Instead of pointing out why freedom
matters we try to change a word and give credit to someone who is not around
to appreciate it.
It was a mistake of the gnu developers not to finish their own kernel. This
lead to the collective misunderstanding of the name of the operating system
and I think *they* should do something for their credit.
If they want it so badly, then they have to finish hurd and make their own
OS.
I will not waste my time any longer throwing stones into the grand canyon.