“Ghost Spider” is the name you come up with and write down intending to come back to it later with something better. Spider-Gwen is a breakout character and should just be allowed to be called “Spider-Woman.” Let Jessica Drew be “Agent Spider” or whatever.