reddit_hide_automod.user.js: Add checkbox control.