Edited introductory comments in index.html