Speaking with my moderator hat on: For those who disagree with the PR on purely editorial grounds, @lambda’s approach is a good constructive one. I trust @steveklabnik will listen to any and all feedback on ways to improve the text, but ultimately I think this is Steve’s call to make, and I don’t think we need to use this forum for any prolonged rehashing of his editorial decisions.
Moderator hat off: For anyone who is specifically troubled by the choice of female pronouns for characters in this example, this is a good chance to empathize with people who feel the same about the constant use of male pronouns in similar situations. Consider whether you spend as much effort noticing and correcting “default male” language you encounter. Or, if you could live with the original pronouns in this text, consider whether you can also make peace with the new ones.