Robert Downey Jr. helped save Tom Holland’s MCU debut as Spider-Man: “Where did all of the kid’s lines go?”