</p>
<p>
-FIXME: link to git repo.
+A small (and not really very well organised) git repository containing
+all the data and software written so far for this problem is
+available <a href=".git/">here</a>. (You should be able to copy that
+hyperlink's location and pass it to <code>git clone</code>.)
</p>
<h2>Table of known values</h2>