index.html: Add more info.