faul_sname comments on lukehmiles’s Shortform