* 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.
* 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.

kfogel/OneTime,kfogel/OneTime