And it's been a decade long argument? Sounds like someone is just emotionally attached to something not changing. Those are the hardest problems to solve.
Name changes are controversial. Nothing gets nerds going more than changing a project name so companies work better with OSS.
Preach. And it's a disease.
Signed, the guy who will forever believe GIMP could have been a contender with a name change decades ago.
Not necessarily.
The technical people managing the repos might just be opposed to name changing in general (seeing how a boatload of links, references, documentation would require updating, some of which you don't even control), and meanwhile those people might feel the "misbranding" drawbacks much less (if at all).