@matigo Not sure. Reloading the page loads of times, "playing" the second "layer" of the flash player (it seems like they're superimposed), and downloading every available mp4 file with GetThemAll Chrome extension eventually worked…after about 20 minutes :o