* index.html-top: Minor wording tweak.