minor docs improvements (risc0#1494)

I landed risc0#1468 with a few lingering suggestions. 
This PR addresses some of those.

Author: pdg744

website/api/generating-proofs/local-proving.md

@@ -13,6 +13,7 @@ The primary reason to consider using local proof generation for your application
 
 _With local proof generation, you can generate proofs about your private data, while your private data never leaves your machine._
 
+[Bonsai]: ./remote-proving.md
 [open-source]: https://risczero.com/news/open-source
 [zkVM]: ../zkvm/zkvm_overview.md
 [feature flags]: https://github.com/risc0/risc0#feature-flags

website/sidebarsApi.js

@@ -65,31 +65,21 @@ export default {
           label: "Quick Start",
           id: "zkvm/quickstart",
         },
-        {
-          type: "doc",
-          label: "Rust Resources",
-          id: "zkvm/rust-resources",
-        },
         {
           type: "doc",
           label: "Hello World Tutorial",
           id: "zkvm/tutorials/hello-world",
         },
         {
           type: "doc",
-          label: "zkVM technical specification",
-          id: "zkvm/zkvm-specification",
+          label: "Rust Resources",
+          id: "zkvm/rust-resources",
         },
         {
           type: "link",
           label: "API Reference Docs",
           href: "https://docs.rs/risc0-zkvm/",
         },
-        {
-          type: "link",
-          label: "Source code",
-          href: "https://github.com/risc0/risc0",
-        },
       ],
     },
     {
@@ -163,5 +153,17 @@ export default {
         },
       ],
     },
+    {
+      type: "category",
+      label: "Reference",
+      collapsed: true,
+      items: [
+        {
+          type: "doc",
+          label: "zkVM technical specification",
+          id: "zkvm/zkvm-specification",
+        },
+      ],
+    },
   ],
 };