chore(deps): bump Lemonade Server to v10.2.0

[kovtcharov]

Summary

Bumps LEMONADE_VERSION from 10.0.0 -> 10.2.0 (latest, released 2026-04-08). Windows MSI naming is unchanged, so the NSIS bundling flow in build-installers.yml keeps working without any CI edits — the version pin in src/gaia/version.py is the single source of truth that the build pipeline reads to fetch the MSI.

Changes

• src/gaia/version.py — the pin, which CI and the NSIS installer read.
• cpp/README.md + docs/cpp/setup.mdx — Linux install switches from a direct .deb download to the Launchpad PPA (ppa:lemonade-team/stable). Lemonade dropped the .deb release asset in v10.0.1 in favour of the PPA, so the old curl ... .deb instructions would 404.
• docs/docs.json — navbar label updated so the rendered site matches the pin.

Known follow-up

Tracked in #815: src/gaia/installer/lemonade_installer.py still constructs a lemonade-server_<VERSION>_amd64.deb download URL on Linux. That URL 404s for v10.0.1+. Fixing it is a behavioural change to gaia init (switch from download-and-apt-install to add-apt-repository + apt install), so I've kept it out of this PR to keep it a clean version bump. Windows gaia init is unaffected — the MSI filename didn't change.

Test plan

• python util/check_doc_versions.py — all doc references consistent with 10.2.0
• pytest tests/unit/test_lemonade_version_check.py tests/unit/test_init_command.py — 73 passed (version-check + init-command suites both green)
• Manual: run gaia init on Windows with a fresh environment — should download lemonade-server-minimal.msi from v10.2.0 and install cleanly

[github-actions]

Summary

Clean, tightly-scoped dependency bump of LEMONADE_VERSION from 10.0.0 → 10.2.0. The single source of truth (src/gaia/version.py:12) drives both CI (build-installers.yml:233 parses it to build the MSI URL) and the NSIS installer, so the pin change propagates correctly without workflow edits. Doc updates are consistent: python util/check_doc_versions.py passes locally against this branch, and the Linux install instructions are correctly rewritten to use ppa:lemonade-team/stable since the upstream .deb asset was dropped in v10.0.1.

The single most important thing: the author already called out that src/gaia/installer/lemonade_installer.py:258 still points at the 404ing .deb URL for Linux gaia init, and has deferred it to #815. This is a reasonable scope call for a pure version bump, but it does mean gaia init on Linux will be broken on main between this merge and #815 landing — worth making sure #815 is prioritized.

Issues Found

🟢 Minor — Release-notes example is frozen at an older pin (docs/releases/index.mdx:88)

The release instructions template still shows the navbar label example as "v0.17.0 · Lemonade 10.0.0". It's illustrative ("here's what the field you'll edit looks like") rather than a live claim, so check_doc_versions.py rightly ignores it. Optional refresh for consistency:

        "label": "v0.17.2 · Lemonade 10.2.0",

Skip if you'd rather keep the example stable across releases — either choice is defensible.

🟢 Minor — Stale comment in lemonade_installer.py:256

# Note: v10.0.0+ changed naming from lemonade_ to lemonade-server_

Still technically accurate, but once #815 switches Linux to the PPA flow this code path (and its comment) likely disappears entirely. No action needed in this PR — flagged only so it's on the #815 checklist.

Strengths

• Single source of truth honored: only version.py is the pin; CI (build-installers.yml:238) and NSIS both derive from it, so there's no version drift to chase across workflows.
• Linux instructions fixed, not just bumped: switching to the Launchpad PPA is the right call given Lemonade dropped the .deb release asset after v10.0.1 — without this, the "Or download directly" link would lead users to a page missing the artifact the instructions reference.
• Scope discipline: the lemonade_installer.py Linux path is a behavioural change (download-and-dpkg → add-apt-repository + apt install) and deserves its own PR/Linux gaia init downloads nonexistent Lemonade .deb (v10.0.1+) #815. Bundling it here would have turned a clean bump into a reviewable behavioural change.
• Test plan is concrete: references the two suites that actually guard this (test_lemonade_version_check.py, test_init_command.py) plus the doc-version checker. That's the right set.

Verdict

Approve. Ready to merge as-is. The docs/releases/index.mdx example label is optional polish, not a blocker. Recommend prioritizing #815 soon after this lands so Linux gaia init isn't broken on main for long.

[kovtcharov]

@claude double check the new version of lemonade does not break our current version of Gaia. Point out any new features in lemonade v10.2.0 that we may want to integrate and confirm we have issues for those.