See `AGENTS.md` for instructions.