Codex TUI for light-colored terminals is fixed. I hope this is one of the positive side effects of LLM use: software is more malleable, so chronic bugs that aren’t particularly high priority get fixed instead of lingering forever at the bottom of a kanban board.