Wei Dai comments on Raemon’s Shortform