JGWeissman comments on Friendly, but Dumb: Why formal Friendliness proofs may not be as safe as they appear