Not OP, and I wouldn't quit over a single message, or single bot.
That said, it is a red flag that the company ok with spamming the employees to virtue signal. It is likely that it will be accompanied with other annoyances and has an incompatible culture.
Better to get out before you go crazy or get fired.
Conversely, an employee reacting so strongly to attempts at introducing gender-inclusive language might be a red flag too. If the employee can't tolerate that, they may have similar hangups about indentation, brace placement, choice of technology, office environment, etc.