faul_sname comments on bfinn’s Shortform