At Marvel Studios’ panel at Comic-Con, it was revealed that the sequel to ‘Thor’ would be called ‘Thor: The Dark World’. But then…