Add HTML documentation to the public website.