Rafael Harth comments on Wei Dai’s Shortform