// ==UserScript==
// @name old_reddit
// @description replaces www.reddit with old.reddit
// @match *://www.reddit.com/*
// ==/UserScript==
const url = new URL(window.location.href);
window.location.replace(`https://old.reddit.com${url.pathname}`)