Update docs

The index.html is not a result of thing.