Hmm, this seems promising?
https://github.com/openai/codex/pull/9796
OpenAI does not merge feature PRs. But you could try it out in a fork.
Thanks. I didn't know they didn't merge those.