added reddit-highlight-new-comments.user.js