Userscript - Redirect all reddit pages through old.reddit.com

OldReddit.user.js

// ==UserScript==
// @name         Old Reddit, Forever
// @namespace    gitlab.com/disk0/userscript/reddit/old
// @version      0.1.0
// @author       disk0
// @include      /^https?:\/\/((?!old)[a-z][a-z\d_]*\.)?reddit\.com.*/
// @grant        none
// @run-at       document-start
// ==/UserScript==

(() => {
    console.info(
        '%c[OldRedditForever]%c Redirecting to old reddit from url: %o',
        'border-radius: 0.25em; padding: 0.15em 0.3em 0.25em; background: #04C; color: white',
        'color: #04C; font-weight: 600;',
        location.href
    );
    window.location.href = 'https://old.reddit.com' + location.pathname;
})();