Prepare SciREPL Free v1.3.1

[s243a]

Summary

• Prepare SciREPL Free 1.3.1 (Android versionCode 14).
• Keep full language names in both native language pickers, including the currently selected language, while retaining compact abbreviations in the closed controls.
• Keep restored/programmatic language changes synchronized, including the non-bubbling notebook-restore path.
• Add cumulative, localized What's New highlights covering changes since 1.2.0.
• Replace the broken WebView-local “Open in Browser” target with an explicit “Open Web Version” fallback to the hosted GitHub Pages PWA.
• Gate the selector and Android browser-routing regressions in CI and release workflows.

Web-version behavior

The native menu opens https://s243a.github.io/SciREPL/ only after a localized warning that:

• browser notebooks/settings are separate from the installed app;
• installing the PWA creates a second SciREPL app;
• the first visit requires an internet connection.

Declining makes no request and keeps the menu open. Browser/PWA builds hide the redundant action. A future registered SciReplBrowserBridge plugin overrides the hosted fallback without showing the separate-session warning.

Scope

This patch deliberately does not change Formula behavior/layout or Help placement.

Verification

Exact head: c7128df54058f1a5ea4815cf6811b1ec807e0e57

• Selector regression: 26/26, including permanent full option names, programmatic and non-bubbling restore synchronization, cell editor, narrow-phone geometry, and RTL.
• Android Back/native-menu suite passed, including decline/accept behavior, canonical HTTPS URL, separate-session warning, PWA hiding, and Browser Bridge precedence.
• Dynamic localization and catalogue checks passed for all 13 locales.
• Full PWA release/offline regression passed with cache v201.
• What's New, release identity, licences, Formula/Markdown palette, header shortcuts, and diff checks passed.
• Service worker cache v201 with 66 append-only lock entries.
• Debug APK rebuilt and installed on an SM-S926W. Physical testing confirmed warning decline makes no request, acceptance opens the hosted PWA in a Chrome Custom Tab, and both Android Back and the Custom Tab close control return safely to the native app.

Earlier physical-device verification

On the preceding selector-only head, physical SM-S926W testing confirmed restored Prolog synchronization, selected full names for Python and ClojureScript, Android Back dismissal, the cell-editor picker, and Python execution (2+2 → 4, 2-2 → 0). The current commit changes only the native web-version action, translations, its regression, and the cache version after that device pass.

Release state

Exact-head CI and the native Custom Tab replay are complete. Ready to merge and tag; no release tag had been created at the time of this report.