index.html: tweaked introductory text