LLMs undermine trust in documentation and software; maintainers must show correctness | Raisolo