2.7.1 library(help): Text based manual
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(help)).
Source[semidet,multifile]show_html_hook(+HTML:string)
Hook called to display the extracted HTML document. If this hook fails the HTML is rendered to the console as plain text using html_text/2.