developer.chrome.com fast back/forward

Makes back/forward navigation fast as they should be instead of half a second

// ==UserScript==
// @name        developer.chrome.com fast back/forward
// @namespace   https://greasyfork.org/en/users/2159-woxxom
// @description Makes back/forward navigation fast as they should be instead of half a second
// @version     1.0.1
// @license     MIT
// @match       https://developer.chrome.com/*
// @run-at      document-start
// @grant       none
// ==/UserScript==

const {addEventListener} = window;
window.addEventListener = function (type) {
  if (type !== 'popstate') addEventListener.apply(this, arguments);
};
Object.defineProperty(history, 'scrollRestoration', {
  value: history.scrollRestoration = 'auto',
  writable: false,
});
addEventListener('click', e => {
  const a = e.target.closest('a');
  if (a && a.href && a.getAttribute('href') !== '#') {
    e.stopPropagation();
    a.click();
    if (!document.getElementById(a.hash.slice(1)))
      (document.querySelector('h1') || document.body).scrollIntoView();
    requestAnimationFrame(() => scrollBy(0, -30));
  }
}, true);