Plugins

Adds a Workspaces / Recent-sessions switcher above the sidebar list, with a pinned-sessions group, a per-row menu (pin/unpin, copy session id), title filtering, and browser-local pin storage with a one-shot migration from dsh-plugin-pin-session.

A pinned-sessions group in the sidebar, above the workspace list: every pinned session across all workspaces in one collapsible, searchable list, with click-to-open and a hover-revealed unpin button.