"Return of The Jedi" - Who is the Jedi

[TonkaToys]

Btw, the original title of that sequel should have been “The Revenge of the Jedi”, but at the last moment Lucas pondered and realized that revenge is not very much Jedi-like notion, and renamed it to “return”.

I'd heard that when the movie came out, but having now seen the title for the third movie, which Lucas had already planned way back then, I wonder if that was a red herring.