Redvid — Smart downloader for Reddit hosted videos