When, in fact, the reason why they're referred to by civilian name is simply for disambiguation. If they put Robin or Spider-Man, wouldn't most readers assume, if there's no accompanying artwork, that it's Damian and Peter respectively? The same thing happens with the Batgirls.