Replace a few references to platform to the now more specific projects.

_includes/footer.html

@@ -1,22 +1,22 @@
     <footer class="footer">
       <div class="container">
         <p class="pull-right" style="clear: right"><iframe class="github-btn" src="http://ghbtns.com/github-btn.html?user=haskell-distributed&repo=distributed-process&type=watch&count=true" allowtransparency="true" frameborder="0" scrolling="0" width="100px" height="20px"></iframe></p>
-        <p>&copy; 2012 - 2013 <a href="http://twitter.com/welltyped">Well-Typed</a>
+        <p>&copy; 2012 - 2017 <a href="http://twitter.com/welltyped">Well-Typed</a>
             - <a href="http://twitter.com/CloudHaskell" target="_blank">CloudHaskell</a>
             - <a href="https://github.com/hyperthunk" target="_blank">Tim Watson</a>
         </p>
-        <p class="pull-right" style="clear: right"><iframe class="github-btn" src="http://ghbtns.com/github-btn.html?user=haskell-distributed&repo=distributed-process-platform&type=fork&count=true" allowtransparency="true" frameborder="0" scrolling="0" width="102px" height="20px"></iframe></p>
+        <p class="pull-right" style="clear: right"><iframe class="github-btn" src="http://ghbtns.com/github-btn.html?user=haskell-distributed&repo=distributed-process&type=fork&count=true" allowtransparency="true" frameborder="0" scrolling="0" width="102px" height="20px"></iframe></p>
         <p><a href="http://github.com/haskell-distributed">Code</a> licensed under <a href="https://github.com/haskell-distributed/distributed-process/blob/master/LICENSE" target="_blank">BSD-3</a>,
         </p>
         <p>
-            Website design shamelessly derived from <a href="https://twitter.com/kmett">Edward Kmett's'</a> 
+            Website design shamelessly derived from <a href="https://twitter.com/kmett">Edward Kmett's'</a>
             <a href="http://lens.github.com/">lens library github pages</a> under <a href="http://creativecommons.org/licenses/by/3.0/">CC BY 3.0</a>.
         </p>
         <p class="pull-right" style="clear: right; margin-right: -2px">
             <a href="https://twitter.com/CloudHaskell" class="twitter-follow-button" data-link-color="#0069D6" data-show-count="true">Follow @CloudHaskell</a>
         </p>
         <p><a href="http://glyphicons.com">Glyphicons</a> and <a href="http://www.vectorportal.com/">Vectorportal</a> images reproduced with permission.</p>
-        <p class="pull-right" style="clear: right"><!-- TODO: build status 
+        <p class="pull-right" style="clear: right"><!-- TODO: build status
         --></p>
 
         <ul class="footer-links">

_includes/nav.html

@@ -32,7 +32,6 @@
                 </a>
                 <ul class="dropdown-menu">
                    <li><a href="/wiki.html">Wiki</a></li>
-                   <li><a href="/changes.html">ChangeLog</a></li>
                    <li><a href="http://www.haskell.org/haskellwiki/Cloud_Haskell">CH on haskell.org</a></li>
                    <li><a href="https://github.com/haskell-distributed">Github Repositories</a></li>
                    <li><a href="/static/semantics.pdf">Formal Semantics</a></li>