This will redirect any imgur*.gif links to it's HTML5/gifv equivalent. Chrome lags terribly with gifs, so this is meant to help avoid them on imgur. See my other scripts for more gif-avoidance.