Captain Marvel basically just played the role of a triggered feminist in the movie, and she is one in real life. That's why I think it will be most appropriate to change her name to Captain Karen.