[fauigerzigerk]

I guess in big corporations general rules like this may be useful to consistently deal with several such incidents per month. But in the context we're talking about, language like "firing offense" is itself needlessly dramatizing.

If someone creates drama about something all the time I may not want to continue to work with that person. But if after years of working well together, mistakes are made in one particular conflict that gets out of hand, I'm not going to delegate the matter to Catbert's office right away.

Yes, documentation should be gender neutral. But no, one argument about this should not lead to a core developer leaving.