research-developer comments on research-developer’s Shortform