If you're frequently using redv in a desktop browser, we recommend using the official bookmarklet. When visiting a reddit post including a video, click the bookmarklet to directly access the downloadable video.
To install, click and drag the button to your browser’s bookmarks toolbar.
You can also manually replace reddit.com with redditdl.com in your address bar.
Thanks to Chris Sandvik for building this bookmarklet!