When Banner Met Spidey

Spoilers for Spider-Man: Brand New Day -- it's very good, I've seen it twice! -- follow. In the film, a significant moment hinges on Hulk recognising Peter Parker, and I've been trying to work out how that could be, barring any off-screen "I read about you in the Avengers files" business: In Infinity War, Banner meets Spider-Man before the latter goes into spaaaaaaaaace. In Endgame,