Ehh. I can see both sides of this. Key staff of the original, maybe, but game credits are massively bloated nowadays. And compare it to other media - if movie A has footage from movie B in it, it’ll be in the credits as that movie, and whoever they licensed the rights to that movie from, and depending on how heavily…