I am discovering that many, many people are mad that Peter Parker made fun of the name Otto Octavius in No Way Home, which is a baffling thing to still be mad about a year later.
A) they already lampshaded Otto's goofy name in the movie he's been sucked out of via magic spell,
B) He's PETER PARKER. Making fun of the absurdity of supervillains has been his deal since the year dot.
If you're down on No Way Home, you are super valid; I overall liked it, but I can see the stitches pretty easily. But people frequently complain about the weirdest shit with these things. Sandman's underwritten character is right there if you wanna moan.