Remove Projects site section

Author: johnnygreco

docs/projects/reachy-mini-openshell.md …s/documentation/reachy-mini-openshell.mddocs/projects/reachy-mini-openshell.md renamed to docs/documentation/reachy-mini-openshell.md docs/projects/reachy-mini-openshell.md renamed to docs/documentation/reachy-mini-openshell.md

@@ -28,11 +28,5 @@ hide:
         <span>Guides and reference material for packages, libraries, benchmarks, and examples introduced in Dev Notes.</span>
       </span>
     </a>
-    <a class="openshell-home-link" href="projects/">
-      <span class="openshell-home-link__copy">
-        <strong>Projects</strong>
-        <span>Runnable research demos with setup guides, validation commands, and troubleshooting notes, including the Reachy Mini conversation demo.</span>
-      </span>
-    </a>
   </nav>
 </div>

docs/index.md

@@ -7,10 +7,6 @@ site_dir = "site"
 extra_css = ["stylesheets/dev-notes.css"]
 extra_javascript = ["javascripts/navigation-drawer.js"]
 nav = [
-  {"Projects" = [
-    "projects/index.md",
-    "projects/reachy-mini-openshell.md"
-  ]},
   {"Dev Notes" = [
     "dev-notes/index.md",
     {"Posts" = [
@@ -20,7 +16,10 @@ nav = [
       # dev-notes:nav:end
     ]}
   ]},
-  {"Documentation" = "documentation/index.md"}
+  {"Documentation" = [
+    "documentation/index.md",
+    {"Reachy Mini Conversation Demo" = "documentation/reachy-mini-openshell.md"}
+  ]}
 ]
 
 [project.extra]