@stevenhb wrote:
Well, it didn’t say “don’t rename” and I prefer not to have unidentifiable files sitting on my hard drive. So I renamed it, keeping the .hex extension.
Well, now we know not to do that . . . . Instead, put the file in a folder of your naming choice.