Comment by bergutman

I forked the bot’s repo and resubmitted the PR as a human because I’m dumb and was trying to make a poorly constructed point. The original bot is not mine. Christ this site is crazy.