It's one from the comics, but also spider-man isn't spider-man if he's famous and a known person. The whole point is that he's the friendly neighborhood spider-man, part of the appeal of that is that he could be anyone. Yeah, we the audience know Peter Parker, but the world doesn't know him and that's a large part of his story's appeal.

But yes, it certainly lowers the stakes when you hit the undo button.