Plugins

Fixiert Sitzungen in einem einzigen Pinned-Abschnitt über allen Workspace-Gruppen der Web-Seitenleiste, ohne die gespeicherte Reihenfolge zu ändern; der Pin ist ein Flag im Host-Einstellungsdokument. Kontextmenü: umbenennen, pinnen, verzweigen, archivieren, löschen, Titel oder Sitzungs-ID kopieren; Bezeichnungen folgen der GUI-Sprache.

Migriert alte DSH-Sitzungsspeicher zwischen Versionen (v0-Klartext sowie .zstd- und .zip-Exporte). Setzt das Header-cwd auf den Zielarbeitsbereich und legt Sitzungen dort ab, damit die Persistenzschicht sie beim Öffnen aktualisiert. Seitenleiste mit env/import/list/convert-Tabs, CLI mit check/fix/import.