index.html: add link to source code.