gjm comments on lsusr’s Shortform