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