I'm sure there are much more elegant solutions but if nothing else I dealt with
a .html.tmp to .html problem using what I found to be by far the best file
renaming utility:

 <http://www3.telus.net/pfrank>