/// disablejump.js
(function() {
    HTMLElement.prototype.scrollIntoView = function() {};
})();