ProgramCrafter comments on sjadler’s Shortform