"I only discovered yesterday that his real name was Jimmy Miller, as was mentioned elsewhere on this site. Is it really true ??"

Yes. And it's also true that Bob Dylan's real name was Robert Zimmerman ... so what's your point?