Remove draft form readme

README.md

@@ -1,8 +1,9 @@
 # TryMLTS
 A web application designed to try and play with the MLTS programming language.
-The source is hosted on [GitHub](https://github.com/voodoos/mlts){target="_blank"} as is the [demo](http://voodoos.github.io/mlts/){target="_blank"}. You can also check the [latest draft](http://voodoos.github.io/mlts/mlts-paper.pdf){target="_blank"} of the paper describing MLTS.
 
 ## Sources
+The source is hosted on [GitHub](https://github.com/voodoos/mlts){target="_blank"} as is the [demo](http://voodoos.github.io/mlts/){target="_blank"}.
+
 Our prototype interpreter is written in λProlog. Its source is located in the [lib/data/core folder](https://github.com/voodoos/mlts/tree/master/lib/data/core){target="_blank"}. The more interesting parts are:
 
 - The [type checking algorithm](https://github.com/voodoos/mlts/blob/master/lib/data/core/typing.elpi){target="_blank"} 

docs/readme.html

@@ -1,6 +1,7 @@
 <h1 id="trymlts">TryMLTS</h1>
-<p>A web application designed to try and play with the MLTS programming language. The source is hosted on <a href="https://github.com/voodoos/mlts" target="_blank">GitHub</a> as is the <a href="http://voodoos.github.io/mlts/" target="_blank">demo</a>. You can also check the <a href="http://voodoos.github.io/mlts/mlts-paper.pdf" target="_blank">latest draft</a> of the paper describing MLTS.</p>
-<h2 id="the-λprolog-interpreter">The λProlog interpreter</h2>
+<p>A web application designed to try and play with the MLTS programming language.</p>
+<h2 id="sources">Sources</h2>
+<p>The source is hosted on <a href="https://github.com/voodoos/mlts" target="_blank">GitHub</a> as is the <a href="http://voodoos.github.io/mlts/" target="_blank">demo</a>.</p>
 <p>Our prototype interpreter is written in λProlog. Its source is located in the <a href="https://github.com/voodoos/mlts/tree/master/lib/data/core" target="_blank">lib/data/core folder</a>. The more interesting parts are:</p>
 <ul>
 <li>The <a href="https://github.com/voodoos/mlts/blob/master/lib/data/core/typing.elpi" target="_blank">type checking algorithm</a></li>