That would have been a correct way to do this, yeah. I’ve seen it done like that too, for example Mario Kart 8 Deluxe and Hyrule Warriors Définitive Edition has both port and original teams in credits.

Going so far as removing a cool little ending song just because the video clip happened to reference the old studio is petty.