TsviBT comments on Rafael Harth’s Shortform