I have these on Blu-ray, but I sized these for thick DVD cases because that way it (mostly) fits perfectly in the box from the VHS box set.
Now if I can just figure out where to get a copy of the 1997 HD versions of Empire and Jedi, I’ll be all set. But I have no idea where/how to get full-length fan edits. I’ve read the tutorials on this page, but I’m just inept.
^ all from https://imgur.com/a/MaEzj6O