All the documentation is now in the doc/ directory and in HTML.
Starting point is, of course, doc/index.html.
