dsh-codex-pin

Fija sesiones en una única sección Pinned por encima de todos los grupos del sidebar Web sin cambiar el orden guardado; el pin es una marca en el documento de ajustes del host. El menú contextual ofrece renombrar, fijar, bifurcar, archivar, eliminar y copiar título o ID de sesión, con etiquetas según el idioma de la GUI.