- Rename the two MCP pages under Agents to IDE MCP Server (OpenIDEA's own
server for outside clients) and External MCP Servers (servers coding
agents use), and point the docs at Settings › Agents.
- Lay the Add/Configure MCP Server dialog out as a label column with
padded, framed fields; the page's styles now use existing tokens, so
text areas get a frame and text the right size and colour.
- Import is now Import from Project and reports how many servers it
added from .mcp.json and .vscode/mcp.json, or that it found none.