Strictly, I suppose they should be blocked. But in the circumstances, I'd be tempted to put off a decision on them while they're not actively editing and see if we can turn the main problematic editor around - if we can get him to work with us, we can hopefully calm this down and get am amicable outcome