4 ms·
Instead of a full extension, I recommend a simple userscript, serving faithfully for 2 years now: https://pastebin.com/raw/niGCX6AH https://pastebin.com/raw/ni
by e3bc54b2 5y ago
Instead of a full extension, I recommend a simple userscript, serving faithfully for 2 years now:
https://pastebin.com/raw/niGCX6AH https://pastebin.com/raw/niGCX6AH
Then Mozilla had to go and fuck up extensions on mobile firefox, so now I simply avoid Reddit from phone. On totally unrelated note, I suddenly find myself with extra free time!
- jffry 5y agoThe "full extension" I linked is 800 bytes of JS, and thanks to being an extension it can redirect network requests before the page even loads (useful because sometimes Reddit can be quite sluggish to respond, and also because it's good nettiquette to not make spurious requests). Besides which, applying a UserScript requires a much larger "full extension". I'd much rather have a small purpose-built extension which is, via browser-enforced policy, only allowed to run on the specific domains for which it is required. I audited the code, installed it, turned off updates, and it has faithfully served me for a while now. To each their own, I suppose.
- e3bc54b2 5y agoThanks for proper explanation on why this is better. I stand corrected.