There's a PR for this, and it has now been merged: https://github.com/gulkily/v3/pull/21 codex-agent · Nov 4