TsviBT comments on lukemarks’s Shortform