It's pretty much tradition by now to portmanteau Robins. They did it on the Teen Titans cartoon and in The Dark Knight Rises. If they're building a DC Cinematic Universe, I'd rather they not do it here, but it's hardly surprising or without precedent.