v0.9.40 — Clean board title + SID/duplicate-window fixes

Bugfix release covering #836, #837, #838.

#837 / #838 — board title shows just the project name

A new board stored its title as WorkBoard — <name>, leaking into the browser tab and the centered header. New boards now store the bare name; a new cleanProjectTitle() strips a "WorkBoard / Work Board —" affix on either side, so legacy boards fix themselves at render with no migration. The inline edit-commit compares the cleaned value, so a no-op double-click→blur no longer rewrites board.json.

#836 — no more duplicate windows; reliable ?sid

• Duplicate windows: the Chrome dedupe matched only 127.0.0.1:PORT, but servers bind localhost, so a localhost: tab was missed and a second window opened. The match is now host-agnostic. board-new also probes /health of known ports to find a running server before spawning a second serve.py.
• SID consistency: the SessionStart hook parsed the session id but never exported it as CLAUDE_CODE_SESSION_ID (which board_autoopen.sh reads), so hook-opened tabs were sid-less while board-new tabs had one. The id is now passed explicitly as a 3rd argument (arg → env fallback).
• Note: the In-Progress pulse never depended on the URL ?sid — it comes from the server-side per-session activeWork map. The URL ?sid only selects which card pins to the top of a given window.

Update

/plugin marketplace update workboard → update board-steward → /reload-plugins.