Work on the HTML docs