The name Spider-Gwen was solely chosen as wordplay on Spider-Man. Like, if MJ became spider-powered they wouldn’t call her “Spider-Mary-Jane.” That’s why main reason why Into the Spider-Verse couldn’t use it, because she was “the one and only” in her universe.