Some very big names have joined the cast. Sony Pictures has released the official production notes and end credits list for Spider-Man: Into the Spider-Verse to media outlets.