Johan de Kock comments on Is it possibly desirable for sentient ASI to exterminate humans?