Updated the HTML docs