chore(docs): retire the in-app /docs pages from routes and sitemap

The documentation moved to the Starlight portal served statically at
/docs/ (nginx shadows the old SPA routes and 301s the legacy slugs).
The header Documentation link becomes a full-page <a> so it reaches
nginx instead of client-routing into the removed pages.

frontend/src/components/layout/AppHeader.tsx

@@ -144,9 +144,11 @@ export const AppHeader: React.FC<AppHeaderProps> = ({ autoSave, editorMenu, edit
                 <Link to={localize('/')} className={'header-nav-link' + isActive('/')}>
                   {t('header.nav.home')}
                 </Link>
-                <Link to={localize('/docs')} className={'header-nav-link' + isActive('/docs')}>
+                {/* Full-page link: the docs portal is a static Starlight
+                    site served by nginx at /docs/, not a SPA route. */}
+                <a href="/docs/" className="header-nav-link">
                   {t('header.nav.documentation')}
-                </Link>
+                </a>
               </>
             )}
             <Link to={localize('/examples')} className={'header-nav-link' + isActive('/examples')}>

frontend/src/seoRoutes.ts

@@ -61,160 +61,6 @@ export const SEO_ROUTES: SeoRoute[] = [
   },
 
   // ── Documentation
-  {
-    path: '/docs',
-    priority: 0.8,
-    changefreq: 'monthly',
-    seoMeta: {
-      title: 'Introduction | Velxio Documentation',
-      description:
-        'Learn about Velxio, the free open-source Arduino emulator with real AVR8 and RP2040 CPU emulation and 48+ interactive electronic components.',
-      url: `${DOMAIN}/docs`,
-    },
-  },
-  {
-    path: '/docs/intro',
-    priority: 0.8,
-    changefreq: 'monthly',
-    seoMeta: {
-      title: 'Introduction | Velxio Documentation',
-      description:
-        'Learn about Velxio, the free open-source Arduino emulator with real AVR8 and RP2040 CPU emulation and 48+ interactive electronic components.',
-      url: `${DOMAIN}/docs/intro`,
-    },
-  },
-  {
-    path: '/docs/getting-started',
-    priority: 0.8,
-    changefreq: 'monthly',
-    seoMeta: {
-      title: 'Getting Started | Velxio Documentation',
-      description:
-        'Get started with Velxio: use the hosted editor, self-host with Docker, or set up a local development environment. Simulate your first Arduino sketch in minutes.',
-      url: `${DOMAIN}/docs/getting-started`,
-    },
-  },
-  {
-    path: '/docs/emulator',
-    priority: 0.7,
-    changefreq: 'monthly',
-    seoMeta: {
-      title: 'Emulator Architecture | Velxio Documentation',
-      description:
-        'How Velxio emulates AVR8 (ATmega328p), RP2040, and RISC-V (ESP32-C3) CPUs. Covers execution loops, peripherals, and pin mapping for all supported boards.',
-      url: `${DOMAIN}/docs/emulator`,
-    },
-  },
-  {
-    path: '/docs/esp32-emulation',
-    priority: 0.7,
-    changefreq: 'monthly',
-    seoMeta: {
-      title: 'ESP32 Emulation (Xtensa) | Velxio Documentation',
-      description:
-        'QEMU-based emulation for ESP32 and ESP32-S3 (Xtensa LX6/LX7). Covers the lcgamboa fork, libqemu-xtensa, GPIO, WiFi, I2C, SPI, RMT/NeoPixel, and LEDC/PWM.',
-      url: `${DOMAIN}/docs/esp32-emulation`,
-    },
-  },
-  {
-    path: '/docs/riscv-emulation',
-    priority: 0.7,
-    changefreq: 'monthly',
-    seoMeta: {
-      title: 'RISC-V Emulation (ESP32-C3) | Velxio Documentation',
-      description:
-        'Browser-side RV32IMC emulator for ESP32-C3, XIAO ESP32-C3, and C3 SuperMini. Covers memory map, GPIO, UART0, the ESP32 image parser, RV32IMC ISA, and test suite.',
-      url: `${DOMAIN}/docs/riscv-emulation`,
-    },
-  },
-  {
-    path: '/docs/rp2040-emulation',
-    priority: 0.7,
-    changefreq: 'monthly',
-    seoMeta: {
-      title: 'RP2040 Emulation (Raspberry Pi Pico) | Velxio Documentation',
-      description:
-        'How Velxio emulates the Raspberry Pi Pico and Pico W using rp2040js: ARM Cortex-M0+ at 133 MHz, GPIO, UART, ADC, I2C, SPI, PWM and WFI optimization.',
-      url: `${DOMAIN}/docs/rp2040-emulation`,
-    },
-  },
-  {
-    path: '/docs/raspberry-pi3-emulation',
-    priority: 0.7,
-    changefreq: 'monthly',
-    seoMeta: {
-      title: 'Raspberry Pi 3 Emulation (QEMU) | Velxio Documentation',
-      description:
-        'How Velxio emulates a full Raspberry Pi 3B using QEMU raspi3b: real Raspberry Pi OS, Python + RPi.GPIO shim, dual-channel UART, VFS, and multi-board serial bridge.',
-      url: `${DOMAIN}/docs/raspberry-pi3-emulation`,
-    },
-  },
-  {
-    path: '/docs/components',
-    priority: 0.7,
-    changefreq: 'monthly',
-    seoMeta: {
-      title: 'Components Reference | Velxio Documentation',
-      description:
-        'Full reference for all 48+ interactive electronic components in Velxio: LEDs, displays, sensors, buttons, potentiometers, and more. Includes wiring and property details.',
-      url: `${DOMAIN}/docs/components`,
-    },
-  },
-  {
-    path: '/docs/architecture',
-    priority: 0.7,
-    changefreq: 'monthly',
-    seoMeta: {
-      title: 'Project Architecture | Velxio Documentation',
-      description:
-        'Detailed overview of the Velxio system architecture: frontend, backend, AVR8 emulation pipeline, data flows, Zustand stores, and wire system.',
-      url: `${DOMAIN}/docs/architecture`,
-    },
-  },
-  {
-    path: '/docs/third-party',
-    priority: 0.7,
-    changefreq: 'monthly',
-    seoMeta: {
-      title: 'Wokwi Libraries | Velxio Documentation',
-      description:
-        'How Velxio integrates the official Wokwi open-source libraries: avr8js, wokwi-elements, and rp2040js. Covers configuration, updates, and the 48 available components.',
-      url: `${DOMAIN}/docs/third-party`,
-    },
-  },
-  {
-    path: '/docs/mcp',
-    priority: 0.7,
-    changefreq: 'monthly',
-    seoMeta: {
-      title: 'MCP Server | Velxio Documentation',
-      description:
-        'Velxio MCP Server reference: integrate AI agents (Claude, Cursor) with Velxio via Model Context Protocol. Covers tools, transports, circuit format, and example walkthroughs.',
-      url: `${DOMAIN}/docs/mcp`,
-    },
-  },
-  {
-    path: '/docs/setup',
-    priority: 0.6,
-    changefreq: 'monthly',
-    seoMeta: {
-      title: 'Project Status | Velxio Documentation',
-      description:
-        'Complete status of all implemented Velxio features: AVR emulation, component system, wire system, code editor, example projects, and next steps.',
-      url: `${DOMAIN}/docs/setup`,
-    },
-  },
-  {
-    path: '/docs/roadmap',
-    priority: 0.6,
-    changefreq: 'monthly',
-    seoMeta: {
-      title: 'Roadmap | Velxio Documentation',
-      description:
-        "Velxio's feature roadmap: what's implemented, what's in progress, and what's planned for future releases.",
-      url: `${DOMAIN}/docs/roadmap`,
-    },
-  },
 
   // ── SEO keyword landing pages
   {
@@ -436,17 +282,6 @@ export const SEO_ROUTES: SeoRoute[] = [
   },
 
   // ── GitHub Sync docs — Phase 3 D3.5 companion
-  {
-    path: '/docs/github-sync',
-    priority: 0.7,
-    changefreq: 'monthly',
-    seoMeta: {
-      title: 'GitHub Sync — Velxio Pro docs',
-      description:
-        "Velxio Pro's GitHub Sync commits every project save (sketch.ino + velxio.json + auto-generated README) to a repo you control. Setup walkthrough, security model and FAQ.",
-      url: `${DOMAIN}/docs/github-sync`,
-    },
-  },
 
   // ── Auth / admin (noindex)
   { path: '/login', noindex: true },