Adjusted index.html to refer to the new location of .thm files.