Fix edito in top-level index.html.