Add links to about.html, mirror.html, search.html, searchhints.html,
and license.html.