Update `index.html` with Docco.