That contribution was made via a GitHub pull request by a different user; this post was directly committed.

> I don’t know who operates this agent, and I’m not going to speculate about why they did what they did.