A simple app for downloading video files from web pages