dsh-codex-pin

Закрепляет сессии в едином разделе Pinned над всеми группами рабочих пространств в веб-боковой панели, не меняя сохранённый порядок; флаг закрепления хранится в документе настроек хоста. Контекстное меню: переименовать, закрепить, ответвить, архивировать, удалить, копировать название или ID сессии; подписи соответствуют языку GUI.