Add GA4 integration

[eclairen]

Enables the Mintlify GA4 integration with measurement ID G-GVEXRLYSN4 so kernel.sh/docs pageviews land in the shared GA4 property.

Test plan

• Preview build shows gtag fires on a few doc pages.
• Confirm GA4 Realtime shows docs pageviews.

---

Note

Low Risk
Docs-site analytics config only; no runtime product, auth, or data-path changes.

Overview
Adds Mintlify’s GA4 integration to docs.json with measurement ID G-GVEXRLYSN4, so kernel.sh/docs pageviews are sent to the shared GA4 property.

This is configuration-only: Mintlify will load gtag on doc pages; no app or API code changes.

^{Reviewed by Cursor Bugbot for commit d2ee9bf. 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	Jul 7, 2026, 10:04 PM

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

[cursor]

Risk assessment: Medium

This PR modifies docs.json to add the Mintlify GA4 integration with measurement ID G-GVEXRLYSN4. Although the diff is small and isolated, the config change enables Google Analytics behavior across the docs site, which affects all visitor-facing pages and introduces third-party tracking/privacy considerations. That gives it broader blast radius than a documentation-only or copy-only change.

I’m not approving this PR because Medium-risk changes are outside the auto-approval threshold. I didn’t find a CODEOWNERS file in the repository, and there are no existing approvals recorded on the PR.

  

_{Sent by Cursor Automation: Assign PR reviewers}