I'm on the side that says change her back to Ms. Marvel. Yes, she's outshined Captain Marvel. How badly has she outshined him? So much so that I've been reading comics for 22 years and only learned JUST THIS YEAR that she had any connection to Mar-Vell. When I hear the name Ms. Marvel I don't think of Captain Marvel. I think of Marvel Comics. I consider her the woman who took on the company name (a much bigger relevance and compliment than to consider her named after a dead hero from the 70s).
So yeah, make her Ms. Marvel. It fits her. It stands out apart from all the other Captain Marvels (Mar-Vell, Photon, Genis, Skrull-Vell, Shazam). There have been many Captain Marvels. There's only been one Ms. Marvel, and we all know who she is.