redgifs Video Downloader

Paste the URL of a public redgifs video to download it.