Additional edits introductory comments in index.html