diff --git a/source.html b/source.html
index b487f35..2793740 100644
--- a/source.html
+++ b/source.html
@@ -40,14 +40,11 @@ is itself free software (Gitlab CE).
 
 
 <h3>GitHub</h3>
-<a href="https://github.com/mikegerwitz/easejs">GitHub</a> is a popular social
-coding platform. While the code is hosted there and you are free to make use of
-GitHub's services, note that GitHub is proprietary and ease.js does not endorse
-it, nor make use of its services; it is used purely for hosting.
-
-<blockquote class="git-clone">
-  <span class="shell-start">$</span> git://github.com/mikegerwitz/easejs.git
-</blockquote>
+GitHub is a popular social coding platform.  Unfortunately,
+it <a href="whyfreejs.html">serves proprietary JavaScript</a> to users, and
+is not fully functional with JavaScript disabled.  A mirror of GNU ease.js
+is provided there, if you wish to make use of it; a link will not be
+provided here, as that would encourage use of an unethical alternative.
 
 <h3>Manual</h3>
 See <a href="manual/Integration.html#Integration">Chapter 1 of the manual</a>