faul_sname comments on jdp’s Shortform