Revert new mp4s as they are too big to be served via github.