I think the game's name should be "Spider-Man (PS4)" because with that, people can find the game page easier.
just gonna touch on this and give my 2 cents :D
i reckon the name "Spider-man PS4" would be more convenient and easier for people to find, judging from googles search results 'spiderman ps4' is more searched than 'marvels spiderman' and when you search for the latter it also comes up with the spiderman homecoming filmb (also the tv series). in addition to this whenever i hear people talking about the game they dont even mention the name 'marvel' because socially its implied and because its the most recent spiderman game, you dont need to specify the full title. So taking all this into consideration i think that it would be easier for people to find and access if the name was just spiderman PS4. But i do also understand why people want it to stay as the 'official' name.
there ya go, my 2 cents :D
Due to Sony removing the Activity Card feature on PS5, the PS5 boards will undergo a huge change. Runs that have used the feature will be removed from the leaderboard due to this. All of the runs and WR history have been documented (by me) so we don't lose 3 years of runs. It's unfortunate that some