It seems that other than just rumors and eyewitness reports (as well as in in theater recording of the 70 mm version), we now have official word what was changed and someone could use this to make a 70 mm cut of TESB.
https://www.starwars.com/news/empire-at-40-star-wars-the-empire-strikes-back-ending-changes?