There have been many improvements in making documentation more inclusive across the IT industry which shouldn't be scoffed at. The first that comes to mind is changing "master" and "slave" to "primary" and "secondary" (or "replica" etc.) because references to slavery is inconsiderate to many.
I don't think pile-ons are productive, but I think inclusive language and thinking is important.
And I specifically thank you for it. I didn't know there was a meta reference going on. Upvoted @ArcaneSlime@lemmy.dbzer0.com for excellent joke craft on account of it
Imagine you have been purposefully targeted for harassment or excluded from activities in the past due to your preferred pronouns or perceived gender. Seeing "he" with that context would likely feel excluding, which is a reason someone without an 'agenda' would want to see it changed.
By definition, an agenda is "a program of things to be done or considered" which does not equate to wanting to do something. It more closely resembles a daily planner or task list.
So in as much as you and I have an "agenda" when we get out of bed, you are right, the person submitting the PR did likely have an agenda of waking up and going about their day. There isn't a 'woke agenda' at play here, however, as the person I replied to seemed to imply.