@Sudokuveritas: You should report them if you haven’t. Death threats are not tolerated here, no matter if it’s public or private.