userscripts misc userscripts Install by visiting the "raw" link on GH. reddit.user.js compresses long subreddit names in the top subreddit list on old.reddit.com