RHollerith comments on faul_sname’s Shortform

[RHollerith]

I mistakenly pasted in 2 copies (then I modified copy 2). Corrected now.