* index.html-top: Finish linking to LICENSE file, as started in
  commit f97bb4986.  I must have forgotten to re-run 'git add'
  after I changed the second link or something.