Forgive me if this idea has been discussed before but here's what I think.
Why not put out a raw source (by raw I mean grain, scratches, uncropped, un-stabilized, no sound synchro - even LOG source if that's how it was captured) @ a good bitrate MP4, pieced together from the best reels and let people work on their own versions?
No need for 4K, could be 1080 or 2K to make the sources acceptable for sharing.
Kind of a Star Wars open source project.