Of note, while DVD5 versions have been approved of by Harmy, and in some cases I believe given access to higher quality video elements to compress from, they were generally not produced by Harmy himself. So DVD5s and the like you might be able to consider as a stretch goal, with the core goal of getting all Harmy produced files being much more attainable.
Also of note, while all of V1.0 was released as AVCHD, I think Jedi was not in an .iso container, which might be the difference about it you guys are trying to remember.
Well, At least that Despecialized Edition Has Changed The Way it looked