I would be surprised if we never get a 4k version, especially with Disney being a money monster . The question would then be would they give the original version without the GL extras?
I have Harmy’s versions (apart from Star wars 2.7) which are superb. Surely someone at Disney must know of the existence of them and the demand for the untampered originals to be remastered and released .
Here’s Hoping 😃