Spider-Man do PS5: Miles Morales é uma expansão, não uma continuação