Harmy said:
I see your point none but if we start demanding the "original" version of the end credits, while the other one was also made in 77 and is pretty much the same and definitely doesn't effectively change the film in any way, we would be totally playing into the cards of those who claim we are lunatics.
I actually believe that if there were two different versions during the original theatrical run, the most true original is the one that was most widely seen.
I agree with both points wholeheartedly. It's a thing to note, but not care about in terms of that hypothetical future release.