Might be late to the party, but Reddit app have ability to download video/gif straight from the app itself. No need to use external apps filled with ads! : r/antiassholedesign
Reddit Video Downloader - DotPlays.com
Reddit Video Downloader - Download Reddit Videos with Sound
3 Free Ways to Download Reddit Videos with Sound in 2024 - EaseUS
Download Reddit™ Videos – Get this Extension for 🦊 Firefox (en-US)