Yoav Ravid comments on Jimrandomh’s Shortform