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.

Besides on many of those you were simply wrong like with rand.next() returning 0 and missing _lin.v files.