If I decide that I want to terminate a download early is there any way that all
the html.tmp files can be converted to html before it exits?