> I mean, I don't disagree with your premise that very few people are actually offended, but this is one of those low-effort, doesn't-matter changes so why not do it?

Not doing what this particular brand of moralising busybodies wants sends a message to them, other busybodies and more importantly everyone else involved with Redis that this organisation will not instantly roll over to pressure. If you remember the Drupal controversy where some activists were trying to get someone expelled from the community for their sex life the maintainers rolled over until over a hundred contributors and sponsors said to reverse the decision or they’d fork Drupal.

The principle is the same. If you pay the Danegeld you will never be rid of the Dane. If you don’t feel like giving a mile, consider very strongly whether to give an inch.