Copying over introduction-js to index.html

(forgotten in previous commit)