Converts imgur*.gif hyperlinks to their HTML 5/gifv video counterpart.
This script will alter imgur*.gif links on reddit and change them to the HTML5/gifv version. This way, when you click the link, you are already going to the HTML5/gifv version without needing to be redirected. I have other scripts that DO redirect, those versions are for links outside of reddit or the browser (Skype, etc.)