Add Koala analytics and devin-mcp contextual option

[mintlify]

Summary

• Added documentation for the Koala analytics integration, including a dedicated page, navigation entry, settings reference, and overview listing
• Added devin-mcp as a documented contextual menu option for installing MCP servers on Devin

These features were shipped in the latest client and dashboard package bump and were missing from the docs.

---

Note

Low Risk
Low risk documentation-only change that adds a new integration page and updates references/navigation; no runtime or API behavior is modified.

Overview
Adds documentation for the new Koala analytics integration, including a dedicated integrations/analytics/koala page, a new card on the analytics integrations overview, and updates to the docs.json navigation and analytics config snippet to include integrations.koala.publicApiKey.

Updates the settings reference (settings-integrations) to document the integrations.koala object, and expands the contextual menu docs (settings-structure) to include the new built-in option devin-mcp (install MCP server on Devin).

^{Written by Cursor Bugbot for commit 2d02654. This will update automatically on new commits. Configure here.}

[ethanpalm]

closing because 🐨 is still deprecated