I would still love to see digitalfreaknyc’s 2x BD25 version of it. Even if it’s just 720, who needs 1080 for that old transfer anyways ? As far as I know it isn’t possible to convert a compressed 720p MKV container to a BD25 without loss in quality.
My version is 1080I and, I believe, been deleted. There’s no reason to keep it with the 720p being higher quality. And you can easily burn that to a single BD-R