Whether we agree that demanding renaming of software in order to
emphasize credit is justified is unclear to me.
The system's name has been GNU ever since we started it 15 years ago.
I think it was uncool for people to rename it to "Linux",
so I am suggesting "GNU/Linux" as a compromise.