release-closeout

Release closeout after a release is merged back into main — inventory the repository's docs against the code, correct, add, merge, move or delete them, and open a docs-only PR with a file-by-file table, or record what was inspected when nothing needs changing. Run only when asked for release closeout by name. Never changes code; never merges.