Fix the HTML formatters handling of output from hooks
Merge PR #746 "Fix the HTML formatters handling of output from hooks"

Also update History.md.