Right. I don't think that "kill all men" should be taken very seriously and I'll go for it not being as bad as (say) "kill all Jews" for historical reasons. The weird thing is that there's a huge gap between it not being "that bad" and it being no obstacle at all to a leadership position in the community, especially given the Rust community's infamous obsession with language (can't say "thanks guys", can't say "bad style"). The optics on this are really bad.