Tag: extensions
- Converting Userscript to Chrome Extension: The monkeys are no longer needed (14 Oct 2022)
Userscripts are a very useful and handy tool in the hands of power users. Just like customized garnishing, salt and pepper, etc. we put on our food before we eat, we can add custom javascript tweaks on the websites we visit. For example, you may want Reddit to automatically highlight...