feat(docs): rename Production tab to Deployment; promote Use Cases under Community

[isaacbmiller]

This PR makes two focused changes to the docs IA so each top-level tab matches what's actually inside it.

1. Move "Deployment" to the technical tabs on the left

The previous DSPy in Production tab sat on the right side of the toolbar next to Community and FAQ, which framed it as social-proof / non-technical content. But the page itself was entirely technical: MLflow tracing, reproducibility, model serving, scalability. The location and title both undersold it.

• Renames the tab DSPy in Production → Deployment.
• Moves the tab from the right side of the toolbar to the left, between Tutorials and API Reference, where the rest of the technical content lives.
• Replaces the page content with a 4-card overview of the tooling DSPy ships for production: Monitoring & Observability, Reproducibility, Deployment with MLflow, Scalability.

2. Promote "Use Cases" under Community

The social-proof content (companies running DSPy in production) lived under the old DSPy in Production tab, which conflated marketing with technical reference. It belongs under Community.

• Adds Community → Use Cases: a logo-led hero (Shopify, Databricks, Dropbox, JetBlue, Replit, AWS) followed by featured case-study spotlights (Shopify, Dropbox) and the full companies roster.
• Reorders the Community sidebar to: Use Cases → Built with DSPy → Resources → Contributing, and points the Community tab at Use Cases instead of the third-party blog list.
• Consolidates community/community-ports.md into community/built-with-dspy.md (papers, OSS projects, language ports, providers, integrations).
• Logos sourced from public assets (Simple Icons, Wikimedia Commons); monochrome variants invert correctly in dark mode.
• Old paths (production/companies.md, community/community-ports.md) redirect to the new locations.

[greptile-apps]

Greptile Summary

This PR makes two focused docs IA changes: it renames DSPy in Production → Deployment and moves it to the left-side technical tabs (between Tutorials and API Reference), and it promotes a redesigned Use Cases page under Community, backed by a new built-with-dspy.md that consolidates papers, OSS projects, language ports, and integrations. Redirect rules are added for both old paths. The implementation is clean; the only new finding is a dead dspy-quote-row CSS block in extra.css that was not pruned after a design iteration.

Confidence Score: 5/5

Safe to merge — only a P2 dead-CSS finding; all redirects are in place and nav logic is correct.

No P0 or P1 findings. The single new finding is a ~30-line block of unused CSS (dspy-quote-row) that is cosmetically harmless. Previously flagged issues (Guardrails card removal, Moody's absent from table) are known to the team.

docs/docs/stylesheets/extra.css — dead dspy-quote-row CSS block should be removed before further style additions accumulate.

Important Files Changed

Filename	Overview
docs/mkdocs.yml	Nav restructured: DSPy in Production renamed to Deployment section, community-ports.md removed, built-with-dspy.md and use-cases.md added, redirect rules for both old paths added.
docs/overrides/partials/tabs.html	Removes the hardcoded DSPy in Production right-side tab and updates the exclusion filter to let Deployment render in the auto-rendered left-side nav loop; Community tab now links to /community/use-cases/.
docs/docs/community/use-cases.md	Revamped with logo-wall hero, featured spotlight cards, and updated company table; Moody's named in lede but absent from the table (previously flagged).
docs/docs/stylesheets/extra.css	Adds ~135 lines of new CSS for logo-wall, spotlight cards, and an unreferenced dspy-quote-row block that is dead code from a design iteration.
docs/docs/production/index.md	Renamed to 'Deploying DSPy', replaced Use Cases card with an info callout, renamed Deployment card to 'Deployment with MLflow', removed Guardrails card (previously flagged).
docs/docs/community/built-with-dspy.md	New consolidated file merging papers, OSS projects, community language ports, and providers/integrations previously scattered across use-cases.md and community-ports.md.

Flowchart

%%{init: {'theme': 'neutral'}}%%
flowchart TD
    subgraph Before["Before (nav)"]
        B_L["Left tabs: Learn · Tutorials · API Reference"]
        B_R["Right tabs: DSPy in Production · Community · FAQ"]
        B_R_P["DSPy in Production\n/production/index.md\n(Use Cases card + 4 tool cards)"]
        B_R_C["Community\n→ community-resources.md\n→ use-cases.md\n→ community-ports.md"]
        B_R --> B_R_P
        B_R --> B_R_C
    end
    subgraph After["After (nav)"]
        A_L["Left tabs: Learn · Tutorials · Deployment · API Reference"]
        A_R["Right tabs: Community · FAQ"]
        A_L_D["Deployment\n/production/index.md\n(4 tool cards + Use Cases callout)"]
        A_R_C["Community\n→ use-cases.md\n→ built-with-dspy.md\n→ community-resources.md"]
        A_L --> A_L_D
        A_R --> A_R_C
    end
    subgraph Redirects["Redirects added"]
        R1["production/companies.md → community/use-cases.md"]
        R2["community/community-ports.md → community/built-with-dspy.md"]
    end

Loading

_{Reviews (22): Last reviewed commit: "feat(docs): move Deployment to technical..." | Re-trigger Greptile}