Change gender pronoun in the dining philosopher problem (2015)

> However, because this mistake has stood since 1985, I have changed all of the pronouns to be female, to make up for lost time. If someone would like to revert this patch or switch to neutral pronouns after 30 years, feel free to set your alarm clock for 2045.

Is that how it works? If using a gendered pronoun (contentious) was a mistake, what sense is to be found in repeating it?

Note:

"this example no longer appears in the documentation at all" - latest comment by steveklabnik