doc/index.html: Forgot to update, again.