It was merged after they where rightfully ridiculed by the community.
The awful response to the backlash by matwojo really takes the cake:
I’ve learned today that you are sensitive to ensuring human readability over any concerns in regard to AI consumption
The more apt headline is that Microsoft doesn’t pay enough people to review their documentation PRs. The org has 572 members but nearly every PR to this repo is processed by this one guy.