The credits are right; it’s the filename which is misleading in this instance.
The latest Jedi v2.5 has “v2.0” in the filename for the AVCHD version, but the credits correctly say v2.5.
I don’t recall there being any other inconsistencies in the DeEd filenames.
Bluto