rename guides introduction section to overview

[ehfeng]

Renames the "Introduction" group in the Guides tab to "Overview" in docs.json.

---

Note

Low Risk
Cosmetic docs navigation label change with no runtime, auth, or API impact.

Overview
Renames the Guides sidebar group label from Introduction to Overview in docs.json. The listed pages (index, introduction/create, introduction/control, introduction/observe) are unchanged—only the navigation group title shown in the docs site updates.

^{Reviewed by Cursor Bugbot for commit fa8c4ae. Bugbot is set up for automated code reviews on this repo. Configure here.}

[mintlify]

Preview deployment for your docs. Learn more about Mintlify Previews.

Project	Status	Preview	Updated (UTC)
Kernel	🟢 Ready	View Preview	May 29, 2026, 9:24 PM

💡 Tip: Enable Workflows to automatically generate PRs for you.

[firetiger-agent]

Firetiger deploy monitoring skipped

This PR didn't match the auto-monitor filter configured on your GitHub connection:

PRs in the kernel, infra, hypeman, and hypeship repos. kernel is a ~mono repo with many logical services underneath, ensure to focus on the implicated service for the PR

Reason: PR is a documentation rename in the guides section with no changes to kernel, infra, hypeman, or hypeship service code.

To monitor this PR anyway, reply with @firetiger monitor this.

[cursor]

Risk assessment: Very Low

The diff only changes one docs.json Mintlify navigation group label from Introduction to Overview. There are no content, prompt, runtime, infrastructure, permission, or schema changes, and the blast radius is limited to sidebar copy in the docs site.

No CODEOWNERS file was present in the repository, and this PR had no existing approvals, so I’m approving.

  

_{Sent by Cursor Automation: Assign PR reviewers}

[masnwilliams]

lgtm