TsviBT comments on johnswentworth’s Shortform