Redirecting to the generated docs — if your browser doesn't redirect automatically, click here.
If you expected a different landing page, update extra/index.html accordingly.
extra/index.html