I cover three options for downloading videos from the web.