[Docs] Possible outdated documentation

[wesleytanws]

We have identified 1 possible instance of outdated documentation:

• text_out was deleted but the change has not been reflected in the current version of the Compiler Extensions wiki page #297

About

This is part of a research project that aims to automatically detect outdated documentation in GitHub repositories. We are evaluating the validity of our approach by identifying instances of outdated documentation in real-world projects.

We hope that this research will be a step towards keeping documentation up-to-date. If this has been helpful, consider updating the documentation to keep it in sync with the source code. If this has not been helpful, consider updating this issue with an explanation, so that we can improve our approach. Thanks!

[wesleytanws]

Friendly ping :)

[timburks]

@wesleytanws Hi, I can't tell from this what triggered this warning - the text_out option is still supported in the command-line arguments, though it's not spelled out explicitly in the code that supports it.

I'll close this as a false positive.