Actually, it's hardly mentioned in Empire of Dreams and only in passing. The only time it comes up is during the start of production of Empire Strikes Back, where the narrator says, "The first movie, now dubbed Episode IV: A New Hope..." That's all that's said about it. It says absolutely nothing about what it was originally supposed to be called or why it was cut in the first place. Not saying your reasoning is necessarily wrong, but your reference is.