Welcome modal: client-side example loading + cleanups#304

Merged

milanofthe merged 3 commits into

mainfrom

feature/welcome-improvements

Jun 1, 2026

Commits on Jun 1, 2026

Lowercase package names in welcome version line (pathview/pathsim)
milanofthe
committed
Load examples client-side (no reload/Pyodide reinit; ?model= deep-links still work)
milanofthe
committed
Guard repeated REPL init logging (skip when backend already ready)
milanofthe
committed