@mcc I have to guess "no" if not even zkat has done so, even after *multiple* comments from the offender in the above post.
This strikes me as a situation where different approaches make sense in different contexts. Some projects should probably take that approach, and maybe even collaborate on blocklists to kick out transgressors. Other projects with higher emotional bandwidth might want to have an explicit goal of rehabilitation.