index.html: add link to repo