Updated main.js source quoted in index.html with actual contents of main.js.

The source code for `main.js` shown in the `<pre>` tag in the frontend's homepage seemed to be showing an outdated version of `main.js`. This changes just bring it up to date.