menu in docs

Author: forki

docs/tools/templates/template.cshtml

@@ -43,8 +43,10 @@
             <li><a href="@Properties["project-github"]">Source Code on GitHub</a></li>
             <li><a href="@Root/license.html">License</a></li>
             <li><a href="@Root/release-notes.html">Release Notes</a></li>
-
+            <li class="divider"></li>
             <li class="nav-header">Documentation</li>
+            <li><a href="@Root/terminology.html">Terminology</a></li>
+            <li><a href="@Root/library/AsyncSeq.html">AsyncSeq</a></li>           
             <li><a href="@Root/reference/index.html">API Reference</a></li>
           </ul>
         </div>