I changed my mind, now see /doc/index.html.  sorry.