Add documentation to index.html too.