How to disable Codex agent?

[klonuo]

Hi,

I wanted to remove this agent from the available agents as I dont use it, but it seems it's not that easy.

In the agent panel there is no option to disable it.

I then looked in the default settings, and it's not listed there.
Then I searched in the command palette for "agent" hopefully to find command to remove/uninstall, but no such command is available.

Then I thought to override agent_servers in my settings with:

"Codex": {
  "command": "",
  "args": []
},

but that way I get yet additional codex agent in the menu.

So how to disable Codex agent?