The 4K DCP is reported to be the theatrical cut so there may be hope for a re-release after all
It is. The fine print on the link says “Original theatrical release version 4K restoration by the Saul Zaentz Co. and Academy Film Archive” and it’s 158 minutes (the Director’s Cut is 3 hours).