index.html: more links to installation info