Read `AGENTS.md` in this folder: it has the rules for the user docs.