Follow `AGENTS.md` for the instructions that apply to this checkout.

@AGENTS.md
