</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>
<h2>Credits</h2>
<p>
-FIXME: credit Ian, Tom, writinghawk, Jack for deAOCisation, anyone else?
+Thanks to Ian Jackson and Tom Womack for help with the search
+software; writinghawk and Tom Womack again for upper-bound proofs;
+Jack Vickeridge for helping with the proof of rationality.
</p>
<h2>The individual dissections</h2>