Spider-Man: Into the Spider-Verse just had its world premiere, and like most modern comic book movies, it does not stop just because the credits start rolling. There is a post-credits cameo waiting ...