A bit of tweaking and fixing, plus added links to index.html.