index.html: add and revise some links.