Adds edits to HTML file

This commit adds a few quick edits to the HTML file, including an update
to the JavaScript "source" filename link, in order to correctly point to
the .js file in the repository.