It's a bit more active than you suspect, since configuring and monitoring a bot isn't totally trivial.

But what, you think it would be better if I woke up every day, found every post that Haejin upvoted, calculated manually exactly how much to downvote to lessen it's impact so that his random 100% vote doesn't automatically put it at the top of the trending page? I want to assure you that I'm taking all the time I'm not wasting doing that, and devoting that time improving Hive software in every way I can. Sometimes automation is a good thing.

As a side note, it's worth mentioning that my downvotes don't lower how much rewards are given to posters as a total group, it just results in those rewards being spread more evenly among posters, instead of ending up in the hands of a few posters who are mostly already standardly rewarded with many votes cast by upvoting bots (because he's just upvoting everything that has already received a lot of votes now, whereas previously he was voting 100% votes for short form, nearly automated Korean posts, which likely means you would have never even received a vote from him if my voting bot hadn't been setup to start reducing his votes, forcing him to try another tactic). And my downvote doesn't even completely do that, since it's calibrated (by automation) to be quite a bit lower than the ranchorelaxo/haejin vote.