In the choice between ‪Donald Trump‬ and ‪Ted Cruz‬, Cruz is supposedly – somehow – the less crazy xenophobic extremist.