>> But also, many web downloaders such as 
>> wget and WebCopier Pro has an option to
>> add the HTML extention AFTER the file 
>> name and converted query string:
>> 
>>    page.html@param=value&param2=value2.html
>> 
>> I believe Natan is right.. it would be 
>> easy to do.  When I look at my file 
>> directly and only see index####.html what 
>> does that mean to me?  I know the file name 
>> by heart on the live website, but how am I 
>> to quickly find and edit it on my computer???
I agree. Though I otherwise love HTTrack, this is one of it's ugly warts. :) 
It would be so nice if you could consider this improvement.  Thanks in
advance.
-Rich