Late but better than never: the videos just play as inline HTML mp4 videos, so you can just look at the source code to get the raw links to download them.