@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.