Update docs/html/index.html