Converts Reddit links to Libreddit links, and replaces old url in browser history. Also works in Firefox Android.
当前为 
// ==UserScript==
// @name         Reddit to Libreddit
// @namespace    happyviking
// @version      1.1
// @description  Converts Reddit links to Libreddit links, and replaces old url in browser history. Also works in Firefox Android.
// @author       HappyViking
// @match        *://*.reddit.com/*
// @exclude      *://*.reddit.com/media*
// @icon         https://www.google.com/s2/favicons?domain=www.reddit.com
// @grant        none
// @run-at       document-start
// @license      MIT
// ==/UserScript==
// Heavy credit to:
// https://greasyfork.org/en/scripts/432711-libreddit-converter/code
// https://greasyfork.org/en/scripts/465089-libreddit-redirector/code
function isProperTargetPage(url) {
    return !!url.match(/^(|http(s?):\/\/)(.*\.)?reddit.com(\/.*|$)/gim);
}
function getNewUrl(url) {
    return 'https://farside.link/libreddit' + url.split('reddit.com').pop();
}
if (isProperTargetPage(window.location.href)) {
    const newUrl = getNewUrl(window.location.href)
    location.replace(newUrl);
}