gjm comments on Raemon’s Shortform