updated the HTML documentation with new info too