Jonathan: adding script links to index.html