Remove link to list of files, included now

web/app/views/index.scala.html

@@ -6,7 +6,7 @@
 
     <div id="contact">
       <p>
-        <i>Leon</i> is developed by the <a alt="LARA Group EPFL" href="http://lara.epfl.ch">LARA</a> group at <a href="http://www.epfl.ch">EPFL</a>. A good starting point is to copy-paste the source from an example in <a alt="Leon Examples" href="http://lara.epfl.ch/~psuter/leonexamples/">this list</a> and to click the <i>Verify&nbsp;!</i> button.
+        <i>Leon</i> is developed by the <a alt="LARA Group EPFL" href="http://lara.epfl.ch">LARA</a> group at <a href="http://www.epfl.ch">EPFL</a>.
       </p>
     </div>
     <div id="leonmain" class="contentbox">