A while ago, there was a HoTT book pull request
#1101 asking that "he or she" be replaced with "they", for reasons of inclusivity. The ensuing discussion took on a wider context. Mike Shulman and Dan Grayson expressed views which the other participants strongly opposed and found offensive. Many members of the HoTT community, including authors of the HoTT book, readers, and students, spoke out against Mike's statements and presented reasons for inclusivity. Some described how the issue affected them personally, which I am sure was not easy to do. Overall the discussion was civilized, even though emotions ran high.
The administrators of the HoTT book repository, one of whom is Mike Shulman, unanimously decided to implement the proposed change, as it had very clear support. In addition, Mike Shulman acknowledged that the pull request was not an appropriate place for political discussions, and apologized for derailing the conversation in that direction. He expressed regret that his attempts to explain his views hurt people's feelings. He stated that he meant no harm to anyone.
At present there is a related issue open,
issue #1111, in which a Code of conduct is being discussed, with the purpose of making sure that such incidents do not happen in the future, and that the community can continue to be welcoming to everyone.
I urge anyone who intends to express an opinion to not base it solely on what I have written here.
With kind regards,
Andrej