Heads-up, the command to add the new Xcode MCP to Codex is `codex mcp add xcode -- xcrun mcpbridge`, different from what's in the docs.