Yeah, I think it's one of those things where Discord reserves the right to ban anyone using automation on their user account, but in practice they don't take action unless you're clearly doing something malicious or annoying. At least as far as I know.