The crawl doesn’t need capital letters. In the OT, the Death Star is capitalized in ANH, and not in the other two. I don’t think the same words are ever capitalized twice until we get to TLJ. To capitalize the same two words/terms a third time in a row feels very unnecessary to me.
And I think it’s fine to name drop Mustafar, as it lets us see that the two Wayfinder were in possession of the two Sith. If the name doesn’t mean anything to the viewer, that’s fine. It’s just the first spot we see I. Kylo’s search. It would’ve helped first time viewer ‘me’ take in that scene.
Both mentions refer to the first Death Star, it wouldn’t make sense to capitalize it since it was already blown up. I just feel capital words fit, this isn’t ESB, the crawl feels kinda plain for the bombastic adventure we’re about to experience.
And I think name dropping Mustafar feels too crass & fan-edited, it works better as something for the fans to recognize (again, a glimpse of Fortress Vader would help in that) or to put two and two together on repeat viewings. In the context of the movie it’s just some planet where Kylo finds the wayfinder and is never seen or spoken of again. Learning the name in the crawl doesn’t really do much, besides fan service. TLJ doesn’t tell us the First Order speeds towards D’Qar. I think the crawl should focus on Kylo being on a search that took him to Mustafar, as it was originally implied, since the opening sequence is supposed to imply more than just “Kylo decided to go to Mustafar”.
The crawl is supposed to catch us up to speed on the important things we’ll see in the movie. Losing the important detail that Kylo Ren has been on a quest to find Exegol only to clarify that the lava planet is Mustafar is not a worthwhile trade in my opinion. And it could create the wrong expectations of it’s importance in the story.