/doc/index.html: Update.