docs: remove .html extensions from all URLs site-wide

[NathanTarbert]

Summary

• Restructure all doc pages from page.html to page/index.html directories so GitHub Pages serves clean URLs (e.g. /docs instead of /docs.html)
• Update all internal href links across every HTML file and sidebar.js to use extensionless paths
• Add history.replaceState fallback in the root index.html to silently rewrite /index.html → / for direct visits (bookmarks, search engines, old links)
• Update sidebar.js current-page detection to work with directory-based URLs

Test plan

• Visit aimock.copilotkit.dev — URL stays / (no /index.html)
• Click "Docs" in the navbar — URL is /docs (no /docs.html)
• Click any sidebar link — URL has no .html extension
• Click the logo or "Home" from any doc page — URL is /
• Navigate directly to /index.html — URL rewrites to /
• Sidebar highlighting still works on all pages

[pkg-pr-new]

Open in StackBlitz

npm i https://pkg.pr.new/@copilotkit/aimock@90

commit: b1450d9

[jpr5]

PR Review

Mechanical docs-only change — same 2-line substitution (href="index.html" → href="/") across 35 HTML pages. Verified all 35 files have the identical pattern.

The three non-mechanical pieces are correct:

• index.html: history.replaceState rewrites /index.html → / for direct visits. Only fires on exact pathname match, won't affect other pages. Clean.
• sidebar.js: if (currentPage === "" || currentPage === "/") currentPage = "index.html" — handles the new clean URL so sidebar highlighting still works on homepage. Correct.
• No source code changes — only docs/ files touched.

Zero findings. LGTM.

🤖 Reviewed with Claude Code