I have seen your comments on that in the Curangel Discord discussion channel. Thanks to you guys for taking action.
I didn't expect him to make it to 85 actually. Everybody I know is still wondering whether he could get higher (and that was when he was at 81 AFAIK).
Steemit Inc. probably has enough things to care of themselves than a war between users.