tentative improvements to the writing style of index.html
Merge pull request #15 from gasche/gh-pages

tentative improvements to the writing style of index.html