* index.html: Fixed a typo in a link.