Yeah, messing with their material stands to violate the prime directive and be trashy. Let’s leave them to it.
I kind of like naming Mustafar in the crawl, so I wouldn’t remove it. It still wouldn’t be clear what planet it is to someone only watching through the main film series otherwise. It is only Rogue One that shows us this location.