The "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 s

The "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.