Not knowing the details. I think it's extremely easy for the administrators of the site to spot bots.I never told anyone to ban this user. I think that was a very extreme way of handling it.
I would have just privately messaged them as a mod/admin.
@revhtree