I just deleted it and unzipped it again. One thing I know I did the first time was I had unzipped it into a "Tools" folder. Then I noticed that Thor.app was in Tools and not in the Thor subdirectory (which I didn't like). So I moved it. I didn't do that this time.
It works now.
It works now.