satanika said:

My mistake, they seem to be some form of the despecialized editions, however hard to say which versions (1.0? 2.0? 2.5?), also I don't recommend xvid reencodes unless you need to play them on old hardware that doesn't support h264.

How you can tell is by watching the /end/ end credits.

After the official end credits fade to black and the music ends, wait a few seconds and the Despecialized credits will appear:

If it's v1.0, it will not have a version number (but it /will/ say "HARMY" and a roman numeral). If it's 2.0 or above, it will have a version number as seen above.