docs: design plan for immediate-apply Internet Settings with deferred restart

[merchako]

Summary

Adds a design proposal (docs/specs/2026-07-02-internet-settings-restart-ux-design.md) for reworking the Internet Settings dialog in the paratext-registration extension.

Today the dialog bundles internet-use mode, proxy config, and server selection behind a single "Save and restart" button that always restarts the app. This violates Platform.Bible's immediate-apply principle and forces a restart even when the changed setting may not need one.

The proposal recommends:

1. Immediate apply — each setting persists as the user changes it; remove the mandatory save button. (The C# setter already mutates ParatextData's InternetAccess state live, so this is a frontend change.)
2. Per-setting restart tagging — classify each setting as live vs restart-required, so a restart is only prompted when actually needed.
3. Restart now / Restart later — replace the forced restart with a choice, letting users batch several restart-requiring changes into one restart.
4. Don't strand novices after dismissal — a dismissed prompt keeps a persistent reminder banner until an actual restart, and the prompt is also surfaced in the empty (no-project) state, which is where a first-time user is most likely to configure these settings.

Notes

• Docs-only change; no code or behavior changes in this PR.
• The design flags one open question that needs empirical verification before build: whether ParatextData picks up a live internet-use change without a restart (in-repo evidence at PlatformScrTextCollection.cs:47 is suggestive but the networking consumers live in ParatextData.dll).

AI-assisted — session

🤖 Generated with Claude Code

---

Generated by Claude Code

---

This change is