Joseph Miller comments on Raemon’s Shortform