docs: def html(dom: str):
      """
      A string containing a valid HTML snippet.
  
      :param dom:
          The HTML string to add to the display.
      """
      r = _get_report()
      r.append_body(render.html(dom))
      r.stdout_interceptor.write_source('[ADDED] HTML\n')