Yeah he's one of the more problematic users on Lemmy, that's why I put together a little guide on how to ban users with the API since that allows preemptive banning that can prevent dealing with problematic users like this before they start trouble in communities.