Yeah onscreen credit. Sure. But how many comments am I going to be reading about Whedon salvaging the project? I feel like this is a narrative that's already forming and if JL ends up being a hit, what's stopping people from crediting Whedon instead of Snyder?
I don't know what happened with Rogue One's reception, but were people crediting Edwards or Gilroy for its success?
I think with Rogue One people were just hyped after seeing it. Don't think people really gave anyone credit so to speak.
But that said. Who cares if you see someone be it here, reviewer etc. Give Whedon a nod. You can't let that bother you.