index.html: text edits