Converts Reddit links to Redlib (previously Libreddit) links, and replaces old url in browser history. Also works in Firefox Android.
Ceci est l'ensemble des versions pour ce script. Présenter uniquement les versions où le code diffère.
