Updated footer

Author: clarus

extraction/html/get_started.html

@@ -99,7 +99,7 @@ <h3>Coq beta</h3>
       <hr/>
       <div class="footer">
         <p class="text-center">
-          <small>Sources are on <a href="https://github.com/coq-io/opam-website">GitHub</a>. Proudly powered by <a href="http://coq.io/">Coq.io</a>.</small>
+          <small>Website <a href="https://github.com/coq-io/opam-website">written</a> and verified in Coq.</small>
         </p>
       </div>
     </div>