I think it's past time for Marvel to give Miles his OWN codename, especially since Miles and Peter and both in the 616 together now and Peter is back in NY doing Spider-Man stuff again. It just makes sense.
Besides, I think by now, Miles is popular enough and has a large enough fan base of his own that giving him a codename of his own won't really hurt him (unless it's a stupid one, of course).