I use

  httrack <http://foobar.com> +* -r10000

to mirror a website. After few minutes, I navigate to the directory and find
lots of files with file name ending in ".htm.tmp". When will they drop the
".tmp" extension?