Documented and tested header_as_html and header_as_latex