@jorge @downey maybe I should just bite the bullet and propose a referendum or whatever; I’d have to look up how that all works.
The two main arguments I have heard are, “But we like the foot!” which of course, anyone will say about their baby, and “Ugh trademarks are expensive,” which, okay, fine, but also that shouldn’t mean we are stuck with something that a bunch of contributors actively dislike.