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
He admitted himself that it might not be harder for AI to understand.