I agree with that, I read the comments and I agree about exaggeration. At the same time it is not something political to just adjust the documentation to use gender neutral terms as it is a professional thing to do. Where would be the place to discuss it considering that the only way to modify the code is from GitHub and PR?