For starters, if you weren’t one of the many movie-going patrons that made ‘Thor: The Dark World’ the ninth biggest November debut ever…