docs: resolve duplicate anchor IDs

[abishekgiri]

What does this PR do?

This PR fixes documentation pages that generate duplicate anchor IDs,
which can cause links to options or sections to resolve incorrectly.

The issue occurs when multiple headings or options produce the same
auto-generated anchor.

---

What’s included?

• Updated affected documentation to ensure anchor IDs are unique
• Adjusted headings or anchor definitions where necessary
• No changes to documented behavior or content semantics

---

Why is this useful?

Duplicate anchor IDs can break deep links and make it difficult to
reference specific options or sections in the documentation.

This change ensures links are stable and behave as expected.

---

Verification

• Manually verified that affected pages no longer contain duplicate anchors
• Confirmed links resolve to the intended sections

---

Fixes #14822

[gemini-code-assist]

Code Review

This pull request resolves duplicate anchor IDs in several documentation files (design-documents.md, bazel-and-java.md, and cquery.md). The changes modify the conflicting anchor IDs to be more specific, which correctly fixes linking issues caused by the duplicates. The changes are straightforward, effective, and look good.