save_html function

Save an HTML object to a file