## app

Notes from app for its own consumers. They must never appear in app's own
AGENTS.md.