removing links to github in favor of downloading a zipfile from github

src/site/docs/tutorials/connect-dart-html/index.markdown

 ---
 layout: default
 title: "Connect Dart & HTML"
 description: "Shows basic scaffolding of a Dart web app"
 has-permalinks: true
 tutorial:
   id: connect-dart-html
 next: add-elements/
 next-title: "Add Elements to the DOM"
 prev: get-started/
 prev-title: "Get started"
 ---
 
 {% capture whats_the_point %}
 
 * The DOM models a browser page in a tree/node structure.
 * An HTML file hosts your Dart code in a browser page.
 * Use query() with an ID to get an element from the DOM.
 * Compile to JavaScript to run in any modern browser.
 * CSS selectors are patterns used to select matching elements in the DOM.
 * Use CSS rules to style elements.
 
 {% endcapture %}
 
 {% capture sample_links %}
 
 <p>
-Get the source code for the samples featured in this tutorial:</p>
+This tutorial features these examples:</p>
+* mini
+* mini_with_style
 
-<ul>
-  <li>
-    <a href="https://github.com/dart-lang/dart-tutorials-samples/tree/master/web/connect-dart-html/mini"
-       target="_blank">mini</a>
-  </li>
-  <li>
-    <a href="https://github.com/dart-lang/dart-tutorials-samples/tree/master/web/connect-dart-html/mini_with_style"
-       target="_blank">mini_with_style</a>
-  </li>
-</ul>
+<p>
+Don't have the source code?
+<a href="https://github.com/dart-lang/dart-tutorials-samples/archive/master.zip">
+  Download it.
+</a>
 
 {% endcapture %}
 
 {% capture content %}
 
 <div class="tute-target-title">
 <h1>{{page.title}}</h1>
 <h3>Write a mini Dart app.</h3>
 </div>
 
@@ skipping 472 matching lines @@
 
 ##What next?
 
 The next tutorial, [Add Elements to the DOM](/docs/tutorials/add-elements/),
 shows you how to dynamically change the HTML page
 by adding elements to the DOM.
 
 {% endcapture %}
 
 {% include tutorial.html %}