If it's name is 'codex-cli' then that means "Codex Command Line Interface" so the name is absolutely codex.