I, too, would delete needlessly aggressive issues on my open source projects if I didn't end up editing them to make them actually usable. Either way, it'd definitely be a ban so the user wouldn't edit them back or escalate with more aggression in other issues.