I actually figured as much. I've seen a few other sites do this as well, upscaling older vids to 1080p in an effort to entice more people to subscribe or just buy the video.
From what I remember, the original versions were released at a time when 1080p wasn't really a thing, so I'm pretty sure the 720p versions are the 'source' versions.