docs: nav lists Introduction and Case study; roadmap points to milestone

docs/_template/page.html

@@ -32,8 +32,9 @@
     <nav>
       <h3>Manual</h3>
       <ul>
+        <li><a href="__ROOT__manual/introduction/">Introduction</a></li>
+        <li><a href="__ROOT__manual/case-study/">Case study: Folio</a></li>
         <li><a href="__ROOT__manual/getting-started/">Getting started</a></li>
-        <li><a href="__ROOT__manual/writing-specs/">Writing specs</a></li>
         <li><a href="__ROOT__manual/spec-language/">Spec language reference</a></li>
         <li><a href="__ROOT__manual/runs/">Runs</a></li>
         <li><a href="__ROOT__manual/replay/">Replay</a></li>
@@ -52,7 +53,7 @@ $body$
     </article>
     <footer>
       <a href="https://github.com/priyanshujain/sanderling">github.com/priyanshujain/sanderling</a>
-      · <a href="https://github.com/priyanshujain/sanderling/issues/4">v0.1.0 roadmap</a>
+      · <a href="https://github.com/priyanshujain/sanderling/milestone/1">v0.1.0 roadmap</a>
     </footer>
   </main>
 </div>