Don't add the first tab by default to the URL params in the explorer

[jviotti]

Signed-off-by: Juan Cruz Viotti jv@jviotti.com

[augmentcode]

🤖 Augment PR Summary

Summary: This PR prevents the schema explorer from adding a default ?tab=... query parameter on initial page load.

Changes:

• Updated src/web/scripts/tabs.js to make URL updates optional when selecting a tab.
• Ensured the default (first) tab is selected without mutating window.location.
• Added Playwright coverage to verify default tab selection, tab-click URL updates, and deep-linking via ?tab=.

Technical Notes: Uses history.replaceState only for user-driven tab changes (or when a tab is explicitly provided via query string).

_{🤖 Was this summary useful? React with 👍 or 👎}

[augmentcode]

Review completed. No suggestions at this time.

Comment augment review to trigger a new review at any time.