top.html: link to github repository