Second commit, for v1.0 HTML docs. Suggested changes to come.