J Bostock comments on boazbarak’s Shortform