// ==UserScript==
// @name       Gfycat-Redirect gif to HTML5
// @version    1.0
// @description Redirects giant.gfycat.com hyperlinks to their HTML 5 video counterpart.
// @include     http://*.gfycat.com/*
// @include     https://*.gfycat.com/*
// @grant       none
//
// Credit to jugalator for writing this, I'm just posting it to greasyfork
//
// @namespace https://greasyfork.org/users/9009
// @downloadURL none
// ==/UserScript==    

if (window.location.href.match(/^https?:\/\/giant\.gfycat\.com\/[A-Za-z0-9]+.gif$/)) {
        var new_path = window.location.href.replace(/giant\.(.*)\.gif/i, "$1");
        window.location.href = new_path;
}