I'm on codex TUI because the GUI options (and browser) slow to a crawl with long sessions, especially if they have math rendered.