Earlier quoted context omitted.
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.
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).
It’s probably down to one underappreciated Linux dev somewhere who is tired of the debate and spends their time fixing actual bugs.