Converts Reddit links to Redlib (previously Libreddit) links, and replaces old url in browser history. Also works in Firefox Android.
Voici toutes les versions de ce script. Voir uniquement les versions où le code a été modifié.
