Availability::- use_module(pldoc(doc_html)).
 doc_tag_title(+Tag, -Title) is det
Title is the name to use for Tag in the generated documentation.