gjm comments on GradientDissenter’s Shortform