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.
OpenAI does not merge feature PRs. But you could try it out in a fork.