Also, Kurgan asked what this released is called. I don't know what the official title would be. I'm calling it Editdroid2, but I guess it is actually the third Editdroid disk of the film, but I believe the first two were the same transfer.
The disk file shows up as STAR_WARS_1977 and the menu titles it as Star Wars 1977 Theatrical Release, which may be the name it should be considered under (perhaps along with an "Editdroid" suffix or prefix).