faul_sname comments on lemonhope’s Shortform