Yeah, one of his quotes from the other day seemed to effectively say that the theatrical cuts are lower on the priority list and wouldn't be on this release, not that they weren't being considered at all.
I'm betting that they'll be restored and released eventually, but I'm not holding my breath that it'll happen in the next 5 years. Maybe in 2017 for the 40th anniversary?