Converts Reddit links to Redlib (previously Libreddit) links, and replaces old url in browser history. Also works in Firefox Android.
These are versions of this script where the code was updated. Show all versions.
