Use correct mcp listing command for codex (fixes #5074)#5545

HerbertsVaadin wants to merge 1 commit into

mainvaadin/docs:mainfrom

bugfix/5074-codex-mcp-verifyvaadin/docs:bugfix/5074-codex-mcp-verifyCopy head branch name to clipboard