niplav comments on Sodium’s Shortform