Fix a bit of trailing whitespace.
Add Alan's index-html code.