The person that had the PR merged wasn't a maintainer, they just attempted to make the change using a different phrasing. ~~I remember they wrote "corrected grammar errors" and provided arguments and the PR got merged.~~ Here is the PR. They even posted on Mastodon about it at the time.
Edit: It seems now they require contributors to write documentation in gender-neutral language. However, the main dev still complains, to this day, how hard it is to run an OSS project while being "apolitical".
Where is Disco Elysium on all these lists? 🤨
I do not agree that the second is better than the first after playing one after another, but that might be because the way the store evolved made the bosses less interesting to me on the second game.