How would Star Wars: Episode V - The Empire Strikes Back have looked if it had been made after the Disney/LucasFilm merger?