Final touches

Author: adinapoli

docs/mkDocs/docs/community.md

@@ -4,3 +4,7 @@ If you have any questions, you can:
 
 * Join the Liquid Haskell [slack channel](https://join.slack.com/t/liquidhaskell/shared_invite/enQtMjY4MTk3NDkwODE3LTFmZGFkNGEzYWRkNDJmZDQ0ZGU1MzBiZWZiZDhhNmY3YTJiMjUzYTRlNjMyZDk1NDU3ZGIxYzhlOTIzN2UxNWE)
 * Mail the [users mailing list](https://groups.google.com/forum/#!forum/liquidhaskell)
+
+
+Alternatively, feel free to drop [Ranjit Jhala](https://github.com/ranjitjhala) or
+[Niki Vazou](https://github.com/nikivazou) an email.

docs/mkDocs/docs/index.md

@@ -13,7 +13,6 @@ Read the below for more details on how to:
 
 * **Install** [external software](install.md) dependencies required by LH
 * **Install** and use LH as a [GHC Plugin](plugin.md)
-* **Install** and use the (legacy) LH standalone [executable](legacy.md) 
 * Use the command line [options](options.md) supported by LH
 * Write refinement type [specifications](specifications.md)
 

docs/mkDocs/mkdocs.yml

@@ -1,16 +1,16 @@
 site_name: LiquidHaskell
 
 nav:
-    - Install:
-      - 'External Dependencies': install.md
-      - 'Plugin': plugin.md
-      - 'Legacy Executable': legacy.md
+    - Home: index.md
+    - Install: plugin.md
     - Play: "https://liquid-demo.programming.systems/index.html"
     - Learn:
       - Blog: "https://ucsd-progsys.github.io/liquidhaskell-blog/"
       - Options: options.md
       - Specifications: specifications.md
     - "Get Involved": contributing.md
+    - "<i class='fa fa-github'></i>&nbsp;Github": "https://github.com/ucsd-progsys/liquidhaskell"
+
 
 theme: litera