I was too late to see it from the beginning, so I don't know whether or not they mentioned it. I didn't hear anything about his name since I started watching it.
As it's a documentary, they should have mentioned his birth name, J. R.
As Michael Caine would say "Not a lot of people know that."
I see that you did.