document the html option