docs(settings): update Developer Mode copy to reflect terminal tabs

[mvanhorn]

Summary

Issue #37 noticed that the Settings copy under Developer Mode still describes the integrated terminal as a "bottom developer terminal panel," even though the current implementation opens terminals as editor/workspace tabs (via "New Terminal" mounted into the active pane). This PR updates the four affected description strings in SettingsPanel.tsx so the copy matches what the user actually sees.

Changes

apps/desktop/src/features/settings/SettingsPanel.tsx:

• Enable Developer Mode description: "Show experimental developer-facing surfaces such as the integrated terminal." (drops the stale "panel" wording)
• Enable Integrated Terminal description: "Enable terminal tabs in the editor workspace and related commands." (the wording suggested in the issue)

Both strings appear twice in the file: once inside sectionHasSettingsSearchMatches(...) (where they drive Settings-search matching) and once on the matching SearchableRow prop. All four occurrences are updated so the search behavior and rendered description stay in sync.

Verification

The old strings are no longer referenced anywhere else under apps/desktop/:

$ grep -rn "bottom developer terminal\|integrated terminal panel" apps/
(no matches)

No tests assert the old copy, so no test changes are required:

$ grep -n "integrated terminal\|terminal panel\|bottom developer" \
    apps/desktop/src/features/settings/SettingsPanel.test.tsx
(no matches)

I did not run npm run lint / npm test locally because this is a pure string change with no logic, type, or test surface touched, and the apps/desktop install was skipped to keep the change minimal.

Closes #37

AI disclosure: authored with Claude as a coding assistant; I reviewed the change before pushing.

[jsgrrchg]

Hi! Thanks you for your PR. I really appreciate you staying in the AI loop, even for small changes. With so much unreviewed AI generated code being pushed these days, that kind of care really matters.

I'll merge now, already reviewed.

0.2.5 is already out, have some fun, there a lot of goodies :)

Thanks again!