It makes us all look stupid and hateful.

I'd argue that it does a lot more than make people just look hateful. Plenty of assholes out there using progressive causes as justification and shielding for their poor behavior.

The dev could have avoided this easily by merging the original PR and moving on with their life, but there is negative reason for the dogpiling that occurred. It's open fucking source. Fork it and make your own inclusive competitor.

The behavior of the community around this is reprehensible, and is the perfect ammunition for opportunists looking to draw people into right wing radicalism. "Look at what they did to someone for using he instead of they! Imagine what will happen if we let these people have any real power?"