I get what you're saying,
renaissance_man but the snickering brings up another issue I have. Warning: mini rant incoming

...
Peter Parker being a nerd himself who was teased and bullied in high school wouldn't laugh at someone's name, even an enemy's. Sure, Spider-Man would laugh at a super villain's name and mock them for it but he wouldn't laugh at their real name. It's out of character and makes him unlikeable. I'm already rooting for Doc Ock after seeing that. It also undermines your villain if kids are laughing at him to his face (assuming he is a villain which now that I think about it, he might not be in this which could be interesting). Same thing with Dr. Strange. He shouldn't have to talk down to Peter because he's a teenager. Peter's a scientific prodigy which I'll hazard a guess means he was watching a lot of lectures and reading books with a manner of speech far more sophisticated than your average teenager uses. I mean we're talking about a kid that is smart enough to build web shooters that even Tony Stark is impressed by but he can't be communicated with in a mature way? I don't buy it. And beyond that, as
HeartBlade said, the funny name shtick has gotten old.
One of my problems with what the MCU has become is everything now is played for a laugh. They always had a comedic element but tonally, they've become too farcical. I loved Guardians of the Galaxy but it unintentionally set a terrible precedent for not just the MCU but other movies that followed it. Not every moment needs a punchline. Try to think of a scene in any of the MCU movies since where there wasn't at least one joke. Maybe Tony's memorial in Endgame? I don't know. Maybe most fans like this direction. It's just not for me I guess. I was losing interest in the MCU leading up to Infinity War & Endgame. I haven't seen any of them since. Spider-Man was the last one I had interest in. I think after this one I'm done too. I'm mainly excited to see the Maguire and Garfield and the older villains. Speaking of, I would love it if Nicholas Hammond gets a cameo. He was the first live-action Spider-Man and the first one I knew.
You might be right, Halliwax but again it's out of character. Only Tony Stark can be Tony Stark. Everybody loved Thor: Ragnarok but I hated that they basically turned Thor into Star Lord. Yeah it was funny to an extent but I prefer the Thor from the first movie and Avengers 1. They redeemed him in Infinity War but then reverted him back into a goofball in Endgame.