As I always heard it, it was Bill Bixby himself who made the Bruce-to-David change, for two purposes — the gay thing, and the fact that Batman was already a Bruce. That my version of the story is more actor-centric is illuminating — that’s how things go around here.
Meanwhile, does anyone remember the old cartoon version of the Hulk?
The opening theme began: “DOC BRUCE BANNER / BELTED BY GAMMA RAYS / TURNS INTO THE HULK / AIN’T HE UNGLAMOROUS?” Except that “unglamorous” was pronounced “un-glam-or-ays” in order to make the rhyme work. Someone clocked out early that day.