David Prowse has never been left out of the credits.
The only change to any credit near him was adding JEJ in 1997. The credits have not been touched since 1997; Jason Wingreen, Clive Revill, they’re all still credited. No one who worked on any version since then is credited.