It's mentioned in the commit message and PR. Seems silly to do a different PR to make such a minor change when its still within relations to the overall operation (looking up players).

If the dev team really doesn't want it in the commit, then strip it and do a new commit I guess, but its not worth anyone's time to even debate over it.