A minor point of clarification: introducing the pronouns had nearly unanimous approval IIRC, the real struggle session (and when the cretins really came out) was when we rightly decided to make pronouns mandatory. It was wonderful for purging reactionaries.

At least that's my recollection.