="click" title="Copied!">
		    <img class="clippy" src="images/clippy.svg" alt="Copy to clipboard" width="13">
		  </button>
		</span>
	      </div><br>

	      <p>

		Please use the native git protocol if at all possible, as it's a lot
		more efficient than HTTP.

	      <p>

		If you are not already familiar with using Git, we recommend you visit <a
											  href="http://git-scm.org">the Git website</a>.

	      <p>

		Once you've checked out a copy of the source tree, you can update your source
		tr