CONTRIBUTORS.md is missing PR #710 (a new first-time contributor) and #711 (an existing contributor's 5th PR) #728

Where: CONTRIBUTORS.md's "Anay Dhawan - @AnayDhawan" entry, and the "Contributors" section generally.

The gap: Two real merged PRs landed on 2026-09-24 that CONTRIBUTORS.md doesn't reflect:

1. PR fix: include profiler-ui.js in code relevance filters #710 ("fix: include profiler-ui.js in code relevance filters", closing CI's code-relevance filter and the pre-push pytest hook both skip assets/profiler-ui.js, though tests/test_js_parity.py asserts directly against its source #702) by saikeerthanakavuri - a real, merged, first-time contributor with zero mentions anywhere in CONTRIBUTORS.md.
2. PR docs: add demo GIF to README #711 ("docs: add demo GIF to README") by @AnayDhawan - his 5th merged PR, but the file still says "4 merged PRs · 4 commits" and doesn't mention docs: add demo GIF to README #711 in his write-up.

Repro:

$ gh pr list --state merged --author saikeerthanakavuri --json number,title
[{"number":710,"title":"fix: include profiler-ui.js in code relevance filters"}]
$ grep -n "saikeerthanakavuri" CONTRIBUTORS.md
(no output)

$ gh pr list --state merged --author AnayDhawan --json number,title
[{"number":711,"title":"docs: add demo GIF to README"},{"number":412,...},{"number":294,...},{"number":75,...},{"number":74,...}]
$ grep -n "Anay Dhawan" -A3 CONTRIBUTORS.md
### Anay Dhawan - [@AnayDhawan](https://github.com/AnayDhawan)

**4 merged PRs · 4 commits · first merged 2026-07-14**

5 real merged PRs, but the file says 4 and its prose write-up doesn't mention #711 at all.

Fix direction: Add a new ### ... - [@saikeerthanakavuri](https://github.com/saikeerthanakavuri) entry in the appropriate PR-count tier, and update @AnayDhawan's entry to "5 merged PRs · 5 commits" with a sentence covering PR #711.