If your browser doesn't support redirects, or you are looking at this file from the download package, you will need to go to doc/html/index.html manually.