feat(mcp): add Docs/Tools tablist on detail page, tidy sidebar label

Wrap the MCP detail right panel in a compact left-aligned Docs/Tools
tablist (Docs first). Move the tool count into the Tools tab label and
drop the redundant panel title/subtitle; connecting/failed states still
render the status component. Shorten the sidebar 'Installed Extensions'
entry to 'Installed' across all 8 locales, and add tabTools/tabDocs/
noReadme strings.

web/src/i18n/locales/en-US.ts

@@ -2,7 +2,7 @@ const enUS = {
   sidebar: {
     home: 'Home',
     extensions: 'Extensions',
-    installedPlugins: 'Installed Extensions',
+    installedPlugins: 'Installed',
     pluginMarket: 'Extension Market',
     mcpServers: 'MCP Servers',
     addExtension: 'Add Extension',
@@ -765,6 +765,9 @@ const enUS = {
     toolsFound: 'tools',
     unknownError: 'Unknown error',
     noToolsFound: 'No tools found',
+    tabTools: 'Tools',
+    tabDocs: 'Docs',
+    noReadme: 'No documentation available',
     parseResultFailed: 'Failed to parse test result',
     noResultReturned: 'Test returned no result',
     getTaskFailed: 'Failed to get task status',