[codex] polish session list and header follow-ups#4
Draft
gaius-codius wants to merge 2 commits intomainfrom
Draft
[codex] polish session list and header follow-ups#4gaius-codius wants to merge 2 commits intomainfrom
gaius-codius wants to merge 2 commits intomainfrom