dsh-codex-pin

Pins sessions into a single Pinned section above every workspace group in the Web sidebar without touching the stored session order — the pin is a flag kept in the host settings document, and a right-click row menu adds rename, pin, fork, archive, delete and copy title or session id, with labels that follow the GUI language.