index.html: tweaked the intro text a little.