A combination of things. Releases will have their own unique names. Also, the restoration of Empire Strikes Back, will be more in line of what was done with Star Wars, utilizing a better print, and much more careful processes for cleanup.
This was a one person, semi-automated cleanup, with little to no color corrections done.
A full restoration would have careful cleanup, cropping, deflickering, stabilization, and extensive color correction done to it.
Team Negative1