Watching “Thor: Ragnarok” … or as it “should” be spelled “Tor: Ragnarök”