/// disablejump.js
(function() {
    HTMLElement.prototype.scrollIntoView = function() {
        console.debug("Tried to scroll");
    };
    console.debug("Jump disabled");
})();