Yes, those shots are from Jedi.
You can see Luke walking behind Vader on this shot:
https://vignette.wikia.nocookie.net/starwars/images/d/d7/Vader_leaving_Cloud_City.png/revision/latest?cb=20130324062628
Look here for more info: https://starwars.fandom.com/wiki/List_of_changes_in_Star_Wars_re-releases