An IRC bot for helping out Reddit moderators