You know, about a year ago or so, I mentioned that I thought the single greatest mistake humanity has ever made was in not killing every single nazi at the end of ww2
It did not go over well at the time.
Looking like maybe we need to finish that job now.