He is a dickhead and Digital ocean might be a bit contradicting when allowing harassment on the forum. That was however harassment towards his alias/username not to a specific individual.

I still think digital ocean did the right thing and contacted him, And asked him to fix the ToS breakage he committed.