Clippy comments on You’re Entitled to Arguments, But Not (That Particular) Proof