gwern comments on The lessons of a world without Hitler