Unless you’re discussing a version of the film in which Vader didn’t have a castle and saying reasons why, within the film “Rogue One”, they made that change, you are off topic.
Well, the link I posted a few days ago mentions a version of Rogue One where the name card for Mustafar was in the film. Does that count?