How to Download Reddit Videos w/ The Reddit Video Downloader Browser Extension