I downloaded a site which is about 700 MB, I sometimes also had to interrupt
the copying process. After finishing the operation I saw many *.html.tmp files
(almost every html file has a copy with .tmp extension). Can I safely delete
files having html.tmp extension? Is there any dependencies?