Ask HN: What do you use to download videos?

Sometimes I want to download a video, but there is no download option most of the time. How do you download videos?