AGENTS.md is an elevator notice

https://realf.hypotheses.org/200