Is one of these the reddit bot? I've seen it frequently on reddit comments and it always seems to be highly upvoted, so it must do a pretty good job. I want to say it's the autotldr_bot but not sure.