Final finishing touches to the HTML.
Improve generated JavaScript slightly.