Well, the whole debate started over the question of whether there would be any point to doing another Despecialized Edition using this as a source for the altered shots and I was just pointing out that it might be. And I completely understand that it may not be the preferred version for everyone but it could be worth the effort for the additional detail and overall cleanness - and also, since the detail on the BD isn't much beyond 720p, it isn't really beyond a really good theatrical print.

And what was also left out of the debate so far is that the ultimate release of Star Wars in '77, for which the crew must have been aiming, was not 35mm prints but 70mm prints.