It looks like the first thing I can do is to rename all files to the original name, by removing extra .html extension? Do you know a script that can do that?