Agents.md may trick us into writing better docs