Export profiling data as HTML report.
This is a method of the Profiler class in the profiler module.
def export_html() -> str