Jacob Pfau comments on faul_sname’s Shortform