The video downloader for iOS