Anyone else notice the recent proliferation of .mp4's over .avi's for video downloads? What up with that?