See documentation at doc/index.html.