I know that all videos now download as mp4, but I would like to be able to use the loop feature if I download a video. Is there a player anywhere on the site that can be downloaded that supports the looping feature that is present while online?