Better documentation and better index.html.