Actually I downloaded it and checked myself, and the MP4 available from taruhei is the correct one - at least now. I see an edit made by him, so maybe it was indeed incorrect and then he just fixed it. Anyway, all nice and proper now.
andalaugh:
BTW, the MP4 version posted by taruhei has better resolution than the MKV version that I mentioned above, so it is advised that downloaders actually get the MP4 one, if not the ISO.