@NoahCarver The point isn't that the changes weren't merged. The point is that "But it's better for LLMs if we leave tables out" should have never been part of the decision tree for merging pull requests in the first place, because you never write documentation with machines in mind, you write documentation with people in mind.
MostlyBlindGamer (dragonscave.space)
@acarson @NoahCarver I don’t disagree with the point. I do think the pressure came from a different direction and that seems to have been a poorly thought out excuse. It was a way to quickly knock something off a list.
As I mentioned, this may reveal some internal pressures at Microsoft, as other commenters pointed out.